{"entities":{"Q2474440":{"pageid":2485183,"ns":120,"title":"Item:Q2474440","lastrevid":50293856,"modified":"2026-01-13T18:46:16Z","type":"item","id":"Q2474440","labels":{"en":{"language":"en","value":"An infinite-game semantics for well-founded negation in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243672"}},"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":"Q2474440$DEA38DE1-3B84-45EF-A165-07B0FFDDDFF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21e1e4f363e4b055d396630a19a351c91875d3cb","datavalue":{"value":{"text":"An infinite-game semantics for well-founded negation in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474440$70F3B14B-0578-457C-B13B-D1026EBC0181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c829fe88890ecd34b96f99d094841e2e9d2a2724","datavalue":{"value":"1133.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$BEE65F44-6491-4747-9E74-6EC8AF12143F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18739a4260c6dc3b50de2ebcb14b68c236c66d5b","datavalue":{"value":{"entity-type":"item","numeric-id":345700,"id":"Q345700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$E713F6C2-220D-4965-9527-0D5FCAF75C96","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":"Q2474440$BC6D6BFE-AAC3-44F0-9F4A-1D2BB020870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f75b0974d4d5c1a2893e608fd0ac428b68651de","datavalue":{"value":{"entity-type":"item","numeric-id":987827,"id":"Q987827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$9B90B876-D8CE-4CEA-BB0E-FA6A98559C68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$09775F9F-6987-4E51-857E-F1A12EA0E71D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474440$834BBC2B-0683-484A-B64D-B0B4A9C831D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$2CB1B781-9464-41B4-90FE-374F38FA568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$5D50618C-E2C8-460F-908F-66F1953CEACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$E9CD1FAA-568C-4504-820F-24341D41F505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b61ecd2569fda2ef9b15233b8f182d9b8bc52b9b","datavalue":{"value":"5243672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$969E7B9E-9D50-495D-88E5-250B0999186B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5c1967043a06b95abb9045dfd1a79fd6b5bf82","datavalue":{"value":"semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474440$BFACA7AA-A81D-4BD8-95FD-B85EEADA8ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474440$3D2D9F16-5AF3-4DB0-AE38-7D9439A6DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474440$78D10B1C-DC96-403B-B0C1-914E69534A40","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":"Q2474440$C0218B5E-253A-47EE-92C4-DB5685CA46D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfd5cb4330ce41c1aea174e8024c81d7609d062e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474440$F5CDBED8-3DA4-4069-80AB-F4B4848D3A27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba88242e22c0db0258d3be1c5b027da4b3e7a1e6","datavalue":{"value":"W1980849794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$F4F9AA9A-8DEE-4752-97EE-7B2054E03EDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$B4A2675C-34E0-42A7-A605-B298E81AF225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6750f6506709128140651597cac933c856e092f2","datavalue":{"value":{"entity-type":"item","numeric-id":4263830,"id":"Q4263830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$AC03CC11-912E-4ADA-B0FA-910747C96C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c07e4811bb629b6ba7cf520dbc00dbdc1ef1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4305625,"id":"Q4305625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$101CF26E-F0E5-4A66-A6F0-BDE0C6129F1B","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":"Q2474440$437CB93A-4EAE-4DC6-BDDE-59324485CBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$867BEDF2-D370-4F1B-91B1-B711C4EFF966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$247D992D-D121-4526-936F-6162F23864E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$A5E318E9-9371-4762-B7ED-FF26B6EA7996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22e8f38404d034b12576e90c9438856e777354","datavalue":{"value":{"entity-type":"item","numeric-id":4369409,"id":"Q4369409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$34DB644C-21C0-49A8-B055-D887A2104381","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":"Q2474440$30B3397D-F572-420A-923F-A0B80923C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9545eba1031c0d6790cd7198cded3f15a1a28c60","datavalue":{"value":{"entity-type":"item","numeric-id":5930852,"id":"Q5930852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$4DB2C9F5-43C0-4564-A454-CB6E1BE6C5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439d4a481981313329ce493884d2b8d5267b8672","datavalue":{"value":{"entity-type":"item","numeric-id":4708939,"id":"Q4708939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$1807EC9E-849C-482C-A2EA-7A21F58650BA","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":"Q2474440$2107BFBC-2991-4626-AEF5-ED28910E53D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$A1DEF7D4-7C0F-4BA5-89B7-BA0CBFC0CBBD","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":"Q2474440$951B44D7-BD62-45A3-A808-B8DCE434C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4424da8c97864ef5240889568f766e8eecba09ef","datavalue":{"value":{"entity-type":"item","numeric-id":4945230,"id":"Q4945230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474440$CA8F5795-CAB7-4DBB-AC05-2C70874D796D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d46f362c270838673b186109fc9f8f5a88f0eaae","datavalue":{"value":"10.1016/J.APAL.2007.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474440$AD837002-C04D-4295-9B73-A094F41BC7FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7479d7f7e95622afbd8a84e497281a7c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4708939,"id":"Q4708939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a3f2636dee1b8ac30cab08ba54d8d9784676ab","datavalue":{"value":{"amount":"+0.8106675148010254","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":"Q2474440$68085D62-5514-4602-8597-1AA0E6A6D529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc6dbd73a308081e29e7c7043ea3202b08c2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":388214,"id":"Q388214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c79725407bd885d4028d96ecbd80d4f80c69b09","datavalue":{"value":{"amount":"+0.8007394075393677","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":"Q2474440$A4DA7585-1955-4E84-A3EF-F67B6BED02D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb81b0c7baaf1583593cf5ca121ca6913063225a","datavalue":{"value":{"entity-type":"item","numeric-id":5101444,"id":"Q5101444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0dabeb819145e4eea186c29ea99c1af8b4ed54","datavalue":{"value":{"amount":"+0.7881209850311279","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":"Q2474440$72520575-C459-4261-ACE2-BCC344D87B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1183278578ff9ff24c5cec4d708a58a44537de","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39bcb2f5a538a7626b46940694017f3663801da","datavalue":{"value":{"amount":"+0.7749349474906921","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":"Q2474440$3972EA2C-9183-4E8B-AD5C-EFCF41BE4873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdc390582c5a422f55197a3dc7053ff51b24836","datavalue":{"value":{"amount":"+0.7595009803771973","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":"Q2474440$D0E3820C-05A9-4526-8E43-63CF3E777537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474440"}}}}}