{"entities":{"Q4592720":{"pageid":6622305,"ns":120,"title":"Item:Q4592720","lastrevid":58297359,"modified":"2026-04-04T15:07:45Z","type":"item","id":"Q4592720","labels":{"en":{"language":"en","value":"The intricacies of three-valued extensional semantics for higher-order logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803833"}},"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":"Q4592720$99BF2C4F-E00A-4D48-B6C9-F10568DCBD10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2755608a3a28cc74bb5a5be10d576e35e8e22b71","datavalue":{"value":{"text":"The intricacies of three-valued extensional semantics for higher-order logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592720$FB3952D8-4A8C-4BC9-A203-01604D18C835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"929a14383e1cccc099ea272d9b24e96dd8a3e3a1","datavalue":{"value":"1422.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$7B065302-895C-44CB-A63A-C42189A7CB8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ff5ca71ed80b76d5afe4e6060c79ad0497ccfc","datavalue":{"value":"10.1017/S1471068417000357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$196299E1-6CED-4200-A98B-4991EC276076","rank":"normal"}],"P16":[{"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":"Q4592720$2CE955CD-C705-4A90-9E03-D8D01252820D","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":"Q4592720$B30E4C3A-1849-4075-8B50-9B86A69A3DD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$F1083E00-9D6B-4BB0-A1F3-C920F6B3A6F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592720$350F891F-F8BE-49AB-9A11-D11DA875B916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"778b9a33594252a533e4750971a786c59e328e2b","datavalue":{"value":"https://arxiv.org/abs/1707.04704","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592720$0FCF16D2-EE59-4ACE-8A24-0593572484A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$3DEDDEB7-6CDC-4A43-8EBB-1A44DD8E812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$9D01E0EC-9947-4941-A443-BC179F7988C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a514e28afb88801a9aa09b3e0e9b5c1afb874759","datavalue":{"value":"6803833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$1BBD2E81-199A-40E7-B7FF-8427798ADA15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaf3ffbe0974131f36cab2d9942f08a2eee84b5b","datavalue":{"value":"extensional higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592720$BEB2EA74-953B-4BA3-928A-7FFA26D55E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592720$1E555E96-68F1-4FF3-A981-A43FF3C9DE7E","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":"Q4592720$E498988D-00C1-4BF0-A5C9-6427494C7715","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":"Q4592720$9F132AFF-FE63-45B0-8833-2E74012782F7","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":"Q4592720$C33770A4-3DC8-4226-AF45-010FCE2E34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$6727BBE3-ADC3-4D3B-B5B7-F5441979B5C3","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":"Q4592720$45627051-CD0B-4F26-8C87-7F184B4674C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7c89a99260771b12b77a55f11dafc0d1568be0","datavalue":{"value":{"entity-type":"item","numeric-id":512650,"id":"Q512650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$8DE81A4B-470A-43EC-9B61-8829E05B7B07","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":"Q4592720$0BD34B9A-470F-4411-AE46-FF8C8AF0BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180433097a87954e1434bc950b01f91d89c31985","datavalue":{"value":{"entity-type":"item","numeric-id":2900518,"id":"Q2900518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$2E67BD84-6107-4AF8-A5BE-72E3C9C1757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b66eb27c29a2e62c71a6de37347f6f716f4df9","datavalue":{"value":{"entity-type":"item","numeric-id":2947468,"id":"Q2947468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$179027FD-0133-421E-B6EE-BD4319C94897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4398c26783e439e6e945ebf6ab55ce9cf687034f","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$F2E487B9-C66B-4DE8-9FFB-1A4BA16D02E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$63E383F8-1AFD-4232-A540-962718A5E273","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":"Q4592720$5FF2354D-5AC2-4CAF-9E1A-47B038E02544","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":"Q4592720$8ADB0A9E-24AC-406F-82E1-264E9BC92568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425c0d083fcab621e3600d7dcfaeea3f70a92e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$A8DDC91D-07AD-4FB6-AE24-9A9D6599E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$A6268F8E-FE6F-4808-B5F1-1AE9D2E1F19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592720$1AF5588D-27B0-4549-8D4A-D20AFA5DBA40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cfa8161a8f929a915ef36bd28222fe95caf7cab","datavalue":{"value":"W2885902420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592720$F778DB80-80F6-49F4-86BE-B180F0CD3592","rank":"normal"}],"P1643":[{"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":"a828eec72a51400006c892e5cf09e69f2304587e","datavalue":{"value":{"amount":"+0.8197715282440186","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":"Q4592720$CA2459E4-9C81-4B94-899F-54C40A03BAC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592720"}}}}}