{"entities":{"Q3725539":{"pageid":5755445,"ns":120,"title":"Item:Q3725539","lastrevid":50761637,"modified":"2026-01-15T02:10:04Z","type":"item","id":"Q3725539","labels":{"en":{"language":"en","value":"A logical reconstruction of Prolog II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956431"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725539$1D2AD00D-E843-48F3-9C10-A1263D773ED8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67e3a33f5fea9107bf46593b46aa576d5a7250f9","datavalue":{"value":{"text":"A logical reconstruction of Prolog II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3725539$B53BD1BB-C729-4E79-9E7F-5BD5EBEC37E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e0ff8f3d9561c483b0f56ba850374fe8877cc6c","datavalue":{"value":"0594.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$D834115D-D083-411B-850B-CFA9F00AAEF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2730c7fc506acd8972838fa865d6ca2a292f2f74","datavalue":{"value":"10.1016/0743-1066(84)90001-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$6440AC1B-A14F-46C4-B14F-A638F4E54AFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725539$D5DCBB18-3C67-4EDC-BCF6-1579E275259E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3725539$5815A1FB-C835-4F55-905A-BC53C00EC985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$55780CFF-A9E3-4AFB-B0BC-383AE4371288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$2A8A5935-4BAC-4917-B64C-EAA121FA65E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$1EFBAF62-E973-4AF4-9B37-2AA37B71386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$80025975-93CC-48AC-A7C7-893E6F9974BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ff7045d37d9c5274098425f67d0d3f22ae0053","datavalue":{"value":"3956431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$13989340-0E80-422C-B3DF-FAAD20CE29DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3004313eab203e35dd741dd2ec506d87de7844","datavalue":{"value":"Prolog II","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725539$F07EE721-2FA4-40B4-A981-FE273171975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7633b8ce984d819fa89e5139d3875062f1fb75","datavalue":{"value":"tree rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725539$45E2B6E4-F7B6-4603-AC00-DA5FC97B8D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725539$2A546946-F85C-4CFC-9C21-E56226815956","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725539$57FEFAF7-4B02-4749-BB77-374576432CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93decaf3cbc0111679b95864b0e04b79a753692c","datavalue":{"value":{"entity-type":"item","numeric-id":702527,"id":"Q702527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725539$F3322D9E-4C7C-4649-857A-376643415A07","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725539$36B2BA7F-F2FE-49CE-9448-64E263C736AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b668360937e832e3408016f136d39dbb364b9234","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90001-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3725539$85CC4401-A185-4B9A-A274-78DD08A7274F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42e3d6aabee566ca686a71b5d94fb826c3b4f381","datavalue":{"value":"W2019695296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725539$CC1C478B-9565-4EF0-8D4B-FD760CA5DFAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391516dd76512f4bdd648831378838bd22d08b6a","datavalue":{"value":{"amount":"+0.7717897295951843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3725539$F2323709-2BB3-412F-AC19-5C03DFF54A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4618c1858a92f1c75ff9bc120f1372ee5f77b4","datavalue":{"value":{"entity-type":"item","numeric-id":3745245,"id":"Q3745245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd1cbdea29bd9d5150b6855a3e9817ae03c8eab","datavalue":{"value":{"amount":"+0.7643236517906189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3725539$D9B7B19C-FEB4-46D5-A7F9-6741FD03BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010378406cee1f6a0f9f200b75444eb97c586eee","datavalue":{"value":{"entity-type":"item","numeric-id":4725708,"id":"Q4725708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73be2c2faf880f2f8ac68418d026bbc80759145","datavalue":{"value":{"amount":"+0.754815936088562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3725539$6AA9F21B-D526-4CB4-9CF8-8DE5BB352542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901150c0a8a8a8e520f647ae653121658c921746","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9393c4ab481aca83d9f0de2757715f4373c4b3","datavalue":{"value":{"amount":"+0.7535879015922546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3725539$0AB47637-6BA6-48A8-8EA2-A778C3B377CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f358d54a823cccaceb21d2bcccb95854e3b497f","datavalue":{"value":{"entity-type":"item","numeric-id":3807643,"id":"Q3807643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b181d7fb175a8165678340901afbc0ddcdd478d5","datavalue":{"value":{"amount":"+0.7506262063980103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3725539$F80B94EA-35A1-4FE6-984C-2EB0C17113A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725539"}}}}}