{"entities":{"Q2883093":{"pageid":2893818,"ns":120,"title":"Item:Q2883093","lastrevid":42440082,"modified":"2025-06-27T18:05:04Z","type":"item","id":"Q2883093","labels":{"en":{"language":"en","value":"Circumscription and projection as primitives of logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033346"}},"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":"Q2883093$628FFB5A-567D-46BA-A5D5-8C8AE4C38BCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce48c677b5b33283ffe0793280c52c08c2563906","datavalue":{"value":"1237.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$EE373A16-0ABB-40A3-9FC7-088821DD7144","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883093$7BCBF9C8-B3CE-4CF0-965E-A926F521795C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883093$03DC017B-7C68-4A15-A116-6AC5E9F49519","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"713f8d6d7a3aa573070a809addfa6ba5e0199170","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_3e1d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883093$C8E6895C-5EB4-463B-A1C3-7C9C0BB101D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$EF614160-472F-410E-ABDF-77C0621EF8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$921123A0-C8C2-426F-89D3-05577F506571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$FA6B59BA-6520-4A88-AF65-A6B4B7603E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$CD033D65-4F25-4589-AF37-E0B4E41E854F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c42d4617c9dd931e8377df691bf895794fdba1bd","datavalue":{"value":"6033346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$C9301783-3A23-43A6-B750-661D7AD0107E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883093$ABAE25B3-F3FB-4188-90E3-FF9A057EEA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1617e3aa19d65cbfc80989811e170f60dc5878b0","datavalue":{"value":"projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883093$459FC275-4EAF-41B5-89A6-8F3F4E227419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883093$C0777336-2DD5-4507-B466-0F05DF416532","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":"Q2883093$923C0E55-388F-425E-AA0E-F3E4C1985D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01c7e4e98e8fc8cb20ab4e39a6d254454fc6b667","datavalue":{"value":"W2164890139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$4C5FDA7E-1B35-4D6E-A180-188F2FD85B59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79fe364cb37651112f9509b983b41c034c42a002","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883093$447401C5-38AE-4048-B07F-84459615DB43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c1be2036ab716881f77b47364ce840daba49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4016556,"id":"Q4016556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03ee07f40e76842732f77d18fe919c7c90cbee8","datavalue":{"value":{"amount":"+0.92575216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$49EC7615-54B6-40D1-8E0F-7CEBD2CA6EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce81a1167ce7f2738bff9d0cfb8cf6d72557842c","datavalue":{"value":{"entity-type":"item","numeric-id":3830545,"id":"Q3830545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425f30171aa6f7f16b0c319c3a47e68ce9ae19d5","datavalue":{"value":{"amount":"+0.89834225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$12EDBC87-74FD-45C8-8584-4788F81DB427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26c9479ca1b86cd392f1c5de9b62573b9c00c93","datavalue":{"value":{"entity-type":"item","numeric-id":3769992,"id":"Q3769992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253ac149109360fe2bba0f2912a30cf91e5cdde7","datavalue":{"value":{"amount":"+0.8867806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$BE278294-8A7E-46DB-BDCB-380739B75AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa3cc05372186ef3db3470474be003fa60f3d62","datavalue":{"value":{"entity-type":"item","numeric-id":4415118,"id":"Q4415118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef6d059cd8fafde59cf8c44f9d637969a6b7703","datavalue":{"value":{"amount":"+0.8836525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$91BF8516-9CD7-49D2-8A41-47827AC8BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78f1b0129a3279e47d2c95dcb04bbb11cb26138","datavalue":{"value":{"entity-type":"item","numeric-id":4202942,"id":"Q4202942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb024cf9985b26869a9d78d0b11f379783cb9d06","datavalue":{"value":{"amount":"+0.8805419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$6652CFEF-AD2C-4A97-A8FF-BF9BA5649762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aaa8be1e108eed6e2d8b2352df3c5b337bc9c5","datavalue":{"value":{"entity-type":"item","numeric-id":4366600,"id":"Q4366600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821980e21569ece03042ea0b4497b422c7f55c87","datavalue":{"value":{"amount":"+0.879116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$228F5911-9020-42AF-9D7C-FD52345E3185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257ad22f725b477ae43f1a68278b432eb395209","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4bc06c0937a94ad3213d3230a03e6f1202d244","datavalue":{"value":{"amount":"+0.8776295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$E7EFD837-FC74-4490-AA29-3A3EE08B49A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8139328ea45d0f5f4bbb53ec8e07615b518a5b98","datavalue":{"value":{"entity-type":"item","numeric-id":3578399,"id":"Q3578399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1229647eb6f0d736c41eeac000429d7a72d8c0","datavalue":{"value":{"amount":"+0.8773667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$CD77237A-080C-4277-BDA3-83E03ECAB30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9897f8a0e400c32fb37bf092b74fe2ed8283a866","datavalue":{"value":{"entity-type":"item","numeric-id":4596622,"id":"Q4596622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa5c68ad8299f82ba31af8e81b931e9ad0d21b7","datavalue":{"value":{"amount":"+0.8769721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$E50DB701-2256-4D16-9C58-3EF0D343C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542ddfc4951374b1f1381e0f0d68c0d8210b30c","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa5c68ad8299f82ba31af8e81b931e9ad0d21b7","datavalue":{"value":{"amount":"+0.8769721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2883093$093CE784-F7E6-4CC7-A1B5-5FFB7842EBF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2929ac0ef9f01e9920f6d5d5e50aa7504eb5c60","datavalue":{"value":{"text":"Circumscription and projection as primitives of logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883093$F40BCC99-B1AE-4C94-8908-C6B1939ABBF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883093"}}}}}