iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://www.wikidata.org/entity/Q62039022
{"entities":{"Q62039022":{"pageid":61865395,"ns":0,"title":"Q62039022","lastrevid":2217587177,"modified":"2024-07-31T21:22:39Z","type":"item","id":"Q62039022","labels":{"en":{"language":"en","value":"Automated reasoning in geometry theorem proving with Prolog"},"nl":{"language":"nl","value":"Automated reasoning in geometry theorem proving with Prolog"}},"descriptions":{"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"eo":{"language":"eo","value":"scienca artikolo"},"en":{"language":"en","value":"scientific article published in December 1986"},"zh":{"language":"zh","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"wuu":{"language":"wuu","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"it":{"language":"it","value":"articolo scientifico"},"zh-hk":{"language":"zh-hk","value":"1986\u5e74\u5b78\u8853\u6587\u7ae0"},"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0639\u0644\u0645\u064a\u0629 \u0646\u0634\u0631\u062a \u0641\u064a \u062f\u064a\u0633\u0645\u0628\u0631 1986"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"et":{"language":"et","value":"teaduslik artikkel"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"id":{"language":"id","value":"artikel ilmiah"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 1986"},"en-gb":{"language":"en-gb","value":"scientific article published in December 1986"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"pt":{"language":"pt","value":"artigo cient\u00edfico"},"zh-tw":{"language":"zh-tw","value":"1986\u5e74\u5b78\u8853\u6587\u7ae0"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"tr":{"language":"tr","value":"bilimsel makale"},"zh-cn":{"language":"zh-cn","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"tl":{"language":"tl","value":"artikulong pang-agham"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"ca":{"language":"ca","value":"article cient\u00edfic"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"fr":{"language":"fr","value":"article scientifique"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"},"zh-sg":{"language":"zh-sg","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"bn":{"language":"bn","value":"\u09a1\u09bf\u09b8\u09c7\u09ae\u09cd\u09ac\u09b0 \u09e7\u09ef\u09ee\u09ec-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"zh-my":{"language":"zh-my","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"ko":{"language":"ko","value":"1986\ub144 \ub17c\ubb38"},"da":{"language":"da","value":"videnskabelig artikel"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"zh-mo":{"language":"zh-mo","value":"1986\u5e74\u5b78\u8853\u6587\u7ae0"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"ja":{"language":"ja","value":"1986\u5e74\u306e\u8ad6\u6587"},"en-ca":{"language":"en-ca","value":"scientific article published in December 1986"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"zh-hans":{"language":"zh-hans","value":"1986\u5e74\u5b66\u672f\u6587\u7ae0"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sq":{"language":"sq","value":"artikull shkencor"},"nan":{"language":"nan","value":"1986 n\u00ee l\u016bn-b\u00fbn"},"oc":{"language":"oc","value":"article scientific"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"zh-hant":{"language":"zh-hant","value":"1986\u5e74\u5b78\u8853\u6587\u7ae0"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0433\u0440\u0443\u0434\u043d\u0456 1986"},"yue":{"language":"yue","value":"1986\u5e74\u5b78\u8853\u6587\u7ae0"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"375a8b2d43a8638bd720522b8c18d41fae21ac2b","datavalue":{"value":"10.1007/BF00248249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62039022$BF9EE82B-EF5E-4E72-B6FD-A21AD2FBAD59","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q62039022$5C639B89-2CD4-4482-B729-98B5C7E64C89","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"46094d8147306465a4c6aebcb4d7e06ac6c46bf4","datavalue":{"value":{"text":"Automated reasoning in geometry theorem proving with Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q62039022$B2EE4295-7AEB-47AF-AD94-70697D57ACCE","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"185b1ffb37513a089fc3a779d6838b5e7f5330c6","datavalue":{"value":"4","type":"string"},"datatype":"string"},"type":"statement","id":"Q62039022$774DEE3A-20CD-4B00-AA9E-22B13FF8EA9F","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"3056122bad93a53ddb7e498bef30050a82d61128","datavalue":{"value":"329-390","type":"string"},"datatype":"string"},"type":"statement","id":"Q62039022$306ED1C0-0594-4611-B8ED-AEDDF794A40E","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"522a08382daf6f926dfd78957e821993763296c8","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q62039022$BB7459F0-EFF4-40FF-B05F-F3707F379F0D","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"2e09105a806e2fae13ab1b53d50625005a8e8de7","datavalue":{"value":{"time":"+1986-12-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q62039022$66725F10-8D05-4A34-A212-8F876F9B7091","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"8e62d04281ce35241c9a6df94e722d30c0f5de25","datavalue":{"value":{"entity-type":"item","numeric-id":6294821,"id":"Q6294821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q62039022$BAD6C2D6-42D4-4A03-8BE3-FA75AA14F9EE","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"dab7b1697f4b6f49e91baee02452fda6020047ab","datavalue":{"value":{"entity-type":"item","numeric-id":15485331,"id":"Q15485331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"44db6c0aa08ea04613ba656fcf0b204db13d37d1","datavalue":{"value":"Luis Moniz Pereira","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q62039022$328ADA80-B033-432F-AA1C-75F312FDEBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"3044791b4f189890eed238838c0e1f77fe4723b9","datavalue":{"value":{"entity-type":"item","numeric-id":62050561,"id":"Q62050561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"862d853969428b4157b7b22966234c2ca277d8e5","datavalue":{"value":"Helder Coelho","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q62039022$A3F6F7E9-EA41-4D8C-B54D-68647A2920C7","rank":"normal"}],"P6179":[{"mainsnak":{"snaktype":"value","property":"P6179","hash":"62312a120b9b1b2fece7a3862ee3b67dc87bd0a4","datavalue":{"value":"1052242808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62039022$80F2668F-03CF-4458-9944-D2D762B727DC","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"02f9483896431b0f1d04daa26936cfc11af5613d","datavalue":{"value":"journals/jar/CoelhoP86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62039022$0979C20B-BB10-441A-97FE-DB5D7A7593A1","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"0aa88e062a22940e8cceed11fc7edb3e25ed537e","datavalue":{"value":"0642.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q62039022$C0B4E746-8834-48A7-9A01-4F36C9040A85","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q62039022$27207F13-D08A-4C02-AFA9-EA2CF11D638D","rank":"normal"}]},"sitelinks":{}}}}