{"entities":{"Q4559803":{"pageid":6589394,"ns":120,"title":"Item:Q4559803","lastrevid":58287075,"modified":"2026-04-04T14:04:00Z","type":"item","id":"Q4559803","labels":{"en":{"language":"en","value":"Approximation fixpoint theory and the well-founded semantics of higher-order logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988653"}},"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":"Q4559803$00E3395C-BD13-4F79-B019-5D2908047207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79291f31c8c5816291dacc08b5532598dbf79531","datavalue":{"value":{"text":"Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559803$F33A91EC-69E3-4562-B9E3-DA1B605E7A05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49ca5ed5c46a55b5aa4f444baa7454bb18014676","datavalue":{"value":"1452.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559803$D100DC15-D664-4D10-86CB-6C138F1F5DC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea7c3149e3fc8157f9617aaaf6104e2a211ccdfa","datavalue":{"value":"10.1017/S1471068418000108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559803$A65C8047-0BB5-4B89-88B7-51BDAC789E2A","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":"Q4559803$199E3A9F-404E-453C-871B-9FE26C1BF7AE","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":"Q4559803$4E4570A1-C97F-4C0B-A5EE-393C6DA170E4","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":"Q4559803$0DAD3752-CB43-42F3-9C82-F4DB4552B6A2","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":"Q4559803$BA5FE2F9-D663-48F0-B509-5E1A1E25448E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559803$90AA7AFB-BB93-45A5-BA48-78DBB3B7F127","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9944a5ec208f7e96cc2218098a3400afab3c6427","datavalue":{"value":"https://arxiv.org/abs/1804.08335","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559803$C0E17406-3C00-47F5-BBE1-F98677C6D5CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559803$E763C826-65D8-41D6-BA2E-CC17BA29EFE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c320ce64f78cb2570749234f95b3a17d333f18","datavalue":{"value":"6988653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559803$70B8579C-56BF-4EFD-AECC-F56AA8C96613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc71abbb0eb29d287fae2ef615d24c8d5b85163","datavalue":{"value":"higher-order logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559803$7A8640D0-5948-408E-814B-461281B5DE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559803$3856F71E-3BBE-43D8-B41A-7ADF2E09236D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c4b650336b2412e5804c149edbf22423977a89","datavalue":{"value":"approximation fixpoint theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559803$95E829F3-C72E-4293-AFCA-6096A4A9971E","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":"Q4559803$13C8A610-4ADE-4118-AD68-2C54C8226DBE","rank":"normal"}],"P223":[{"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":"Q4559803$AF8AAE22-A396-45EC-B243-EAB5FD2E8F2F","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":"Q4559803$6D65CA07-B702-468A-B5A1-90A6C72F40E4","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":"Q4559803$6E489D16-E067-4B61-9F12-F825894A1225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$D8FB1D5E-CD65-4786-A497-1E21B68A6E94","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":"Q4559803$E510E6CD-3D41-4882-B13D-BFF8B563C825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$17050043-FC46-4C3E-9A55-E313F6FF4A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$A78C9C33-0AD1-4E40-AA37-F93CB415D3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98f126719b68597b44e044d77a74bbd4302cae6","datavalue":{"value":{"entity-type":"item","numeric-id":2257304,"id":"Q2257304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$07B0C6D0-CD2B-4319-9EAB-5FBF24B8A031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$4F35F058-8BCB-4DD4-BD6F-55924EC13AA1","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":"Q4559803$924A2164-7749-4557-9638-44B22C80FA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca65b1bed2a5b5830a5828361f5ea6ac21372b4","datavalue":{"value":{"entity-type":"item","numeric-id":4592720,"id":"Q4592720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$19C028FE-92A5-4B7D-97C5-4DC8FC627355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46efcf60c16a1251747d7d76ece6a2da9ae25264","datavalue":{"value":{"entity-type":"item","numeric-id":4282567,"id":"Q4282567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$CD0EA74E-6BE1-46F1-AB27-F5A39A3D130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559803$4507B0DC-153A-40E3-A4C6-C37406A6D29E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6a9054e49ed13b88694bd187dbb733885fc9e0d","datavalue":{"value":"W2798485127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559803$52288D0D-1483-4D9F-96FE-D06E9C7546A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d77e37a9f7cf41f2d14b5d7f21d3f6d1502e022","datavalue":{"value":{"entity-type":"item","numeric-id":2931276,"id":"Q2931276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7381c5767b420e8b1022c93825a1eb59f05de198","datavalue":{"value":{"amount":"+0.8219783902168274","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":"Q4559803$67466827-A823-4097-82A0-8BD1B732909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e10f3e7fb28b23b6e91315ca391bd79e401a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4592720,"id":"Q4592720"},"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":"Q4559803$EB094C91-3E63-4749-90AE-0B5A4D7B6426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4559803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4559803"}}}}}