{"entities":{"Q512650":{"pageid":514417,"ns":120,"title":"Item:Q512650","lastrevid":62397042,"modified":"2026-04-11T05:48:27Z","type":"item","id":"Q512650","labels":{"en":{"language":"en","value":"Equivalence of two fixed-point semantics for definitional higher-order logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6689522"}},"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":"Q512650$75DE0387-1CA8-4BA6-82DB-6EC94FFD4C50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"949602f96de3fb349a30a1abc6d3f304b8c55fe9","datavalue":{"value":{"text":"Equivalence of two fixed-point semantics for definitional higher-order logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512650$20369F53-EE60-45BC-B08C-1F10A6FA4AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fde743208f7cf5811becd3587bac16323718ef7","datavalue":{"value":"1359.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$557C8EE8-56E2-4C00-8DA2-615BCB700749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f30fbf241dcff7bda46e30ee12c7795b236f611","datavalue":{"value":{"entity-type":"item","numeric-id":512648,"id":"Q512648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$3A5ED4DB-7C79-457B-9C52-5206DF40FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$A7EF743A-19BE-481C-8C61-E99898CC51B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"122697eca057b55fea4cfaa768a5e9bd857eeb07","datavalue":{"value":{"entity-type":"item","numeric-id":512649,"id":"Q512649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$91E479A3-2932-47C9-AD87-B94D722BF2AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$9E7B27C7-6574-44C0-8936-E4FB84B2BF41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q512650$1059C8BF-BD8C-4CB0-9133-8A6D91C2A600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"584f6fee375759018b9296671f2982fc22361daf","datavalue":{"value":"https://arxiv.org/abs/1509.03013","type":"string"},"datatype":"url"},"type":"statement","id":"Q512650$0BCA27CC-095D-426C-9D1A-2C48D554DA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$86798B77-52FF-407A-B318-4FC65002354B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$D01D3F0A-40FF-43D9-915B-6C907A96E495","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a37008d2310ca6c2f53ee71ac5a0406203d82a1c","datavalue":{"value":"6689522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$F8FFD711-6A79-4D0D-B80E-1AC585744840","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaf3ffbe0974131f36cab2d9942f08a2eee84b5b","datavalue":{"value":"extensional higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q512650$C608EFAC-9C4B-43F0-A5EC-A4441FD946A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5c1967043a06b95abb9045dfd1a79fd6b5bf82","datavalue":{"value":"semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q512650$F15C3AB4-EF48-4B04-ACA3-C7C63DDAB690","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$FC28F2B2-473F-40A8-A9F6-632B81FD6D1B","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":"Q512650$93ED1CDF-31D9-43F0-88F0-E636360F1170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d0bbfa51e7eb801ec515304ae240f1ecc8dc7ea","datavalue":{"value":"W2963286515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$976E28E9-F25D-4ECE-8570-0F475CDC0A82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d92f23413071800c09ca5ce21edeb9cede30cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4783309,"id":"Q4783309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$193BAA81-50ED-4DDC-9A8D-36420050FA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d3801a309a366951e962c78fe1174264a8211f","datavalue":{"value":{"entity-type":"item","numeric-id":2931276,"id":"Q2931276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$7057CD56-A128-4FC0-9E9C-06BF05FCF4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$AF5B35FA-45B7-4440-8770-600BE7EAC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$FD038FB5-FF27-4FFB-B9E4-3D7F567ABB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$097E5106-5E45-432A-AF5F-D922369BBF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bd407bcecb63e1d4876dcd09d799ba25c8af78","datavalue":{"value":{"entity-type":"item","numeric-id":4391451,"id":"Q4391451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512650$E6AFA24A-7BD1-4EB1-9ECF-8634B4ECC80A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a3e224fc94200fc4e3a6d914b213d21fe27b59e","datavalue":{"value":"10.1016/J.TCS.2017.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512650$8252F39E-FB80-4CB7-AFBC-FE0513A3B19A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d48132de67bf8674c9b87d64b329b696852f932","datavalue":{"value":{"entity-type":"item","numeric-id":5014440,"id":"Q5014440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$6209AACE-E7AB-413D-92FC-4E6BBF44EFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0986c1983057e3b3c89b53ec2b506e55d829333","datavalue":{"value":{"entity-type":"item","numeric-id":2867964,"id":"Q2867964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04976ececaa0edb6ad32345caaf0a0512f3b2bb","datavalue":{"value":{"amount":"+0.93653715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$8D66FDDC-E0B9-4C91-89C4-3D7C538AC8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1d1b294a1c7e1f2dff43bc0288d75fb64afb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4559803,"id":"Q4559803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4b6cb310f04d7c172a648dbeed85c09cc136c3","datavalue":{"value":{"amount":"+0.90506345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$63EC220D-4CEC-46D1-8094-1211DF033F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ce4779611725b0e618c8667de904c25f67a990","datavalue":{"value":{"entity-type":"item","numeric-id":4327428,"id":"Q4327428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cd178afb72b2e1adde4069e62637831fff813c","datavalue":{"value":{"amount":"+0.90421486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$07842DB3-D91D-494D-87A9-EC35761771CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7bbbb649f862bd6219f5e6a11e6bf4c67c5c5e","datavalue":{"value":{"amount":"+0.903428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$29AE1897-1FC4-4D21-86AC-CE839F658A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61db19eb490055ef6bbbd8a855fb575de4d1e80e","datavalue":{"value":{"amount":"+0.9030863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$2F7095BB-883A-4F9A-A7ED-C0EEC1003C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0692647d9308d3886ce92ee2e5d527c3df406711","datavalue":{"value":{"entity-type":"item","numeric-id":987828,"id":"Q987828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d1bb1dd88242f1216515d5297a2ff4e351ebb0","datavalue":{"value":{"amount":"+0.8970388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$E669DB6F-9D8F-42F8-A67F-4069CACA943A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c22c8b2a91589e365f1f138b5d4a443acefe9c3","datavalue":{"value":{"amount":"+0.89363164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$4E67BD99-CA65-4EF8-88CD-3B1C0629DA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c57c0c53de50595e746fe1dfbb39abd611fbdc0","datavalue":{"value":{"amount":"+0.8905189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q512650$6DDE8B72-7F3A-4110-BD12-279E39515495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of two fixed-point semantics for definitional higher-order logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_of_two_fixed-point_semantics_for_definitional_higher-order_logic_programs"}}}}}