{"entities":{"Q4036287":{"pageid":6066006,"ns":120,"title":"Item:Q4036287","lastrevid":55937806,"modified":"2026-02-21T07:56:16Z","type":"item","id":"Q4036287","labels":{"en":{"language":"en","value":"HiLog: A foundation for higher-order logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168621"}},"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":"Q4036287$56803E67-0672-417F-9FC7-683BB17D4F58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be31ad05e10a4fa2e6f7457ce930d399a17a6646","datavalue":{"value":{"text":"HiLog: A foundation for higher-order logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036287$1AB0FCF7-A3AE-4482-A296-91B7FFECD1DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2529fdb868c066e791c81eb860adb8b1369e9576","datavalue":{"value":"0787.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036287$58D7C8A9-B6E6-4BA7-B38D-2F93DC522D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e394930b6b2b937d12aa69798909d85b34ff856d","datavalue":{"value":"10.1016/0743-1066(93)90039-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036287$053998EE-8BB3-491F-B79F-48EE40F9157F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"088a48b8fa4d1adecb6fb1a3e270967112ae052e","datavalue":{"value":{"entity-type":"item","numeric-id":252384,"id":"Q252384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036287$8A863F20-37EB-47AA-89BD-573511D20737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08b937e0ab9a74f2f0b6de42933eb99eb08c5bd","datavalue":{"value":{"entity-type":"item","numeric-id":685337,"id":"Q685337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036287$58767887-832A-4726-9F51-756014909A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116d98730e2f36e09b578769ef51bae5ebd20956","datavalue":{"value":{"entity-type":"item","numeric-id":1096422,"id":"Q1096422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036287$9FB273E0-9D9E-4074-BF5A-213F36CBD223","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":"Q4036287$D51BCB08-800C-4FF6-AA13-27C2DADF0748","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036287$E80BC293-C23C-4C05-9D8B-07DE97594665","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036287$D2C52074-5201-4D4F-B92A-1D4B07DD204B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3174ff16440b589feb2e5ac9c5b190277ef02d06","datavalue":{"value":"168621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036287$15199AC0-DED2-459F-B4CC-C8823872F891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc71abbb0eb29d287fae2ef615d24c8d5b85163","datavalue":{"value":"higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036287$95720B12-D877-471F-9B18-D31784D0C2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036287$9C557397-DB06-4239-977B-5E302EF0279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036287$BCA5B590-CF58-4372-B860-B07EE62A4B8A","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":"Q4036287$4343E2CF-324F-4272-A865-1FE70E6900B8","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":"Q4036287$0394667E-2A3E-472B-937B-F3112245C8F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"91b481327e7bdc699166f778b134c9cd192d810c","datavalue":{"value":"Q127570258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036287$5EBF268E-DC0A-4242-B937-49F66B55E8B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b99cc5c92bdb331b3ec7fd3588e497faa9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4289931,"id":"Q4289931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c15680bb040773640e0539f097de6a3ca7ef0fe","datavalue":{"value":{"amount":"+0.8083904981613159","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":"Q4036287$EA3DBAF5-B315-4734-8F69-C7B7E569D85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055dc719e4d037845f4b18d4cde0262627a53672","datavalue":{"value":{"entity-type":"item","numeric-id":4707736,"id":"Q4707736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3df6bd7b1da0fa18007e5515e41dbb21889bb7a","datavalue":{"value":{"amount":"+0.8029372692108154","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":"Q4036287$BFF7D0E9-3A41-4876-9605-8DAEA66D7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861ea748ae1c1b6fe6ba87ffc1b45326cdf224e9","datavalue":{"value":{"amount":"+0.7902340888977051","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":"Q4036287$6E48D606-FD19-46B4-BFB1-52825F41E9FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036287"}}}}}