{"entities":{"Q5014440":{"pageid":7044017,"ns":120,"title":"Item:Q5014440","lastrevid":55937818,"modified":"2026-02-21T07:56:22Z","type":"item","id":"Q5014440","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 7437707"}},"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":"Q5014440$57044957-9B11-4EA3-AD10-F31168402A5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ecc845985cd48772a25379243ca8e92979f65a7","datavalue":{"value":"1476.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014440$B0605155-4756-4A90-A3D9-46CF29E54525","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":"Q5014440$ACC33236-9915-439D-AADC-D369CF95EEAA","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":"Q5014440$846EB651-F337-4B54-A984-9B47AAE2497C","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":"Q5014440$F2830306-A55D-42E5-9FFD-B0ADAB4B22EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014440$9B8DF20A-4792-41BC-8A97-FCB2A98C01CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb8c8d72bb071fa5bab69a8b85732eeaee47abb2","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014440$5B5B1E9B-A0C1-42D2-B2D4-3B98218FAD75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014440$B6F1FA31-537D-4753-B3C2-E980A0C29FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014440$141FF9F0-4AEB-4FC4-BDA7-59DAB00C2995","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d278c29b63a6f88947b18916285ef95421302d67","datavalue":{"value":"7437707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014440$A2083677-0E23-4519-8620-F16B27B3FCC2","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":"Q5014440$A5C400C5-0366-449E-98ED-1DFECB3EE955","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":"Q5014440$CE360D34-4640-41DB-A4E7-A11CAE7C4EE1","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":"Q5014440$FAFBD071-8771-443F-86D8-3F3B6B4FC2FD","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":"Q5014440$89964461-0B10-4469-A2AE-695FE4C853F8","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":"Q5014440$FCF4879D-F367-4805-8E26-10BA896532F2","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":"Q5014440$6BB35067-96D0-432B-9C58-72C9764450E9","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":"Q5014440$3E15C4A7-546C-4F98-9E0A-F5E9CE8C4EF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c39a1826401e93a02b863b3a78f1499ab40284","datavalue":{"value":{"entity-type":"item","numeric-id":512650,"id":"Q512650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dce5882812c3d6b85fed3989cb3403e104c676b","datavalue":{"value":{"amount":"+0.991065800189972","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":"Q5014440$AD7AB547-39C5-4B35-A943-08FC40C807B0","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":"94252fa221daf728950c3d752fa8b10030021e0e","datavalue":{"value":{"amount":"+0.7801864743232727","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":"Q5014440$F37B1339-CA8F-48D4-B055-94E5D893F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b5aa521829abb6fe76e253fb56a691044df40b","datavalue":{"value":{"entity-type":"item","numeric-id":4783309,"id":"Q4783309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fe36ac44aa90ae6fb2a1d3ec4244dbcda28843","datavalue":{"value":{"amount":"+0.766761064529419","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":"Q5014440$31ABCF9E-D8D8-4FC7-851A-0C8739163195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014440"}}}}}