{"entities":{"Q2694567":{"pageid":2705311,"ns":120,"title":"Item:Q2694567","lastrevid":82766288,"modified":"2026-05-06T21:53:53Z","type":"item","id":"Q2694567","labels":{"en":{"language":"en","value":"Arguing correctness of ASP programs with aggregates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671888"}},"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":"Q2694567$5BF03A2C-06E8-4762-A1C5-411958F730BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a33a76d088be5cf111664a2362f965b8b49fd3ca","datavalue":{"value":{"text":"Arguing correctness of ASP programs with aggregates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2694567$52672722-C143-4D2D-BB7D-1472C6605497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5a2ae27134f2eefbb3cf7f35de86b9081efbb17","datavalue":{"value":"10.1007/978-3-031-15707-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694567$AAF3F196-BD20-4224-8340-BD044B7AC214","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c75f731d33031e913f5582aa82e611602d4702","datavalue":{"value":{"entity-type":"item","numeric-id":2694566,"id":"Q2694566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$314BE47C-8959-4DC3-A3FF-9874955893F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$6FD5C08F-885C-4A6D-8F29-9741528C861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dacaca5cad7883409446c214a642c9ac040d88b","datavalue":{"value":{"entity-type":"item","numeric-id":1647483,"id":"Q1647483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$EFC30EB2-D8D8-488B-A6F6-9248472368FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-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":"Q2694567$2EB72B7D-42DF-4AE8-9BE5-6238577498DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694567$113FDD16-FA11-4D1F-8B7F-B90C399BD839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7684a9b418e9ee873dd4a0b9b956045ea75e800b","datavalue":{"value":"7671888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694567$0C0BC502-B5A4-48EC-B169-727971C5C194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694567$9CB6133D-7448-44EC-B2BD-39F89F393C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694567$9345B2BB-D2BB-4B6E-9C13-030264FFEDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e02abc79ee55a4aa8d0d2b5896720cfefd4e5d7","datavalue":{"value":"aggregate semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694567$A41A5C59-4413-4C6C-A509-5DE39C4373AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ada4e22a57851ba6101dd900c60dd6ab9d7879","datavalue":{"value":"modular proofs of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694567$0BAAD0A4-15AA-4847-A98E-7389148FE74F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$FE9AC235-2985-4721-AD56-798DFBB9C116","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":"Q2694567$8971E9CB-0B8F-47AA-9B3A-36DB9E6DF02C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6f437df15cdeb87eb30fac9a0b13eaecc458b76","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694567$EF3EB2C8-187B-460F-B9C4-1EA2840805EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"212e6f7a8021eca6fb10e4a87de70871136f74f4","datavalue":{"value":"W4293179575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694567$BC2E0FEC-FD82-43AB-826D-E3D8E1D839A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ae23982b588db85d74e54e90611040dc0fcf5b","datavalue":{"value":{"entity-type":"item","numeric-id":3449203,"id":"Q3449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$8FB3CF99-32A9-474D-ADEB-13248C15627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34c66571af840b3eff922bb63c73176c41faad3","datavalue":{"value":{"entity-type":"item","numeric-id":5140013,"id":"Q5140013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$85D11758-66F7-42A3-892B-083EDFFA5F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f4508f9f27af520625aff40835d41adfce40b","datavalue":{"value":{"entity-type":"item","numeric-id":5140011,"id":"Q5140011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$D4DA1D13-E36E-456B-A357-B8A98C0A536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$A05AEA81-82D6-40C5-B690-F8F58C683C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$3144BFC2-723D-4D79-8C97-A284EB722E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$E52BB401-B19A-4DB1-83AF-230F62C9EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694567$E140710B-6FA1-4D82-AEB6-582185D629F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arguing correctness of ASP programs with aggregates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arguing_correctness_of_ASP_programs_with_aggregates"}}}}}