{"entities":{"Q7008042":{"pageid":21551208,"ns":120,"title":"Item:Q7008042","lastrevid":82618517,"modified":"2026-05-06T21:20:35Z","type":"item","id":"Q7008042","labels":{"en":{"language":"en","value":"Direct encoding of declare constraints in ASP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8015779"}},"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":"Q7008042$661C178F-3704-4D84-9004-6E3DEACC6D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1abb776ebeb27acf18688f69bc4a07755af1528","datavalue":{"value":{"text":"Direct encoding of declare constraints in ASP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7008042$7C56191D-22DB-42EE-9FA2-BB52A0FD3ED3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23443f1e596bd55382f0a386a3d6b1e25b23ecc6","datavalue":{"value":"1560.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$50ADA6E1-E3FB-47E5-BA2E-A32F216F2674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c11fcf2be35160a85c2b1f193424e29cd814f5f","datavalue":{"value":"10.1017/S1471068424000486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$62D40255-5D46-43B0-B830-FAB3E5C4426B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6983ba781bc6114973a370bd89fdf5dd468eb763","datavalue":{"value":{"entity-type":"item","numeric-id":6884758,"id":"Q6884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$C3812CD0-950B-4F07-ADE3-4198EEE4F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2776c8c50e12b6438cbc8eca5ef6399bce93a55f","datavalue":{"value":{"entity-type":"item","numeric-id":322077,"id":"Q322077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$5226B87B-5FDE-46CF-9637-6783D60448D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"debf28d6672cd98d7bcfb62bc4c7f0ef45fc8ac0","datavalue":{"value":{"entity-type":"item","numeric-id":6849515,"id":"Q6849515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$705801F5-3B33-40BE-B431-251250C0A965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc66809533143588d5d844a649a4a72c194e20a3","datavalue":{"value":{"entity-type":"item","numeric-id":899443,"id":"Q899443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$0CB01C43-9C42-4858-ACE2-A0647DD424B1","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":"Q7008042$3F23DD90-BB6D-4701-9F7D-DFED4DA6BEBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ae1bedfa2395106df16164ece30875f50731cd1","datavalue":{"value":{"time":"+2025-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7008042$44BC79C6-E7DE-4300-B358-EA1364EAABBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$798E60CC-4FD2-4892-8268-E1B89EEC7BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$AFA7FE4E-430F-4AA6-B403-28CB08B07D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$F8394C31-C71A-4F18-ADDA-718F4530A0A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e67e472c72bf56e7993859299f275058d36038fb","datavalue":{"value":"8015779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008042$8AA23F02-FB12-40CB-87C5-DFDFB61975ED","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$9603D66C-BCB7-494B-B6D9-1A9E765933EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008042$843630BD-03DC-4909-A76A-57A11DA9D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16bdb030d6f0cff9e74ba7873b938427a368e545","datavalue":{"value":"process mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008042$2EED8DA7-23F1-416B-A156-91408D480D36","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":"Q7008042$D4B9EAD5-1946-4F7C-B58F-08C081398A3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a32bc0ef00c31c61a800b19fbaf8e0898507642","datavalue":{"value":{"entity-type":"item","numeric-id":3477931,"id":"Q3477931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$C89EFD9D-594E-4CE7-A3A8-0D5B61EAFF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7861eeaf8d5dabb1476eb7286fcb1015813e6e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2326733,"id":"Q2326733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$96F62145-3C8D-4329-AC64-6B2450E10A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$8F7F59D9-F7C9-40E8-90BB-91391C9CE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ded28dfcddfc12e7756640329f103bf1a26e17","datavalue":{"value":{"entity-type":"item","numeric-id":2754106,"id":"Q2754106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$E9CBAF20-DC10-4EB1-A79C-DF32E07AC6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fff5933e363be464889f65bf322c01e076d8b74","datavalue":{"value":{"entity-type":"item","numeric-id":2694620,"id":"Q2694620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$8AE7475B-E78B-4E65-82BC-072BD77BD287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$0769DC8E-468A-415F-ACEA-C008290C3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09c83e127b33f2b447a249abab694bb8942e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$EE1D31A1-6F7A-412A-93C0-26037528657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$1C7902EA-A0A9-4474-B4EF-9FE7C54C1ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$DC30FEF3-8CF9-4123-895C-324854FBA12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de632d61c1c00d1fae63a9fa6b7624005728826e","datavalue":{"value":{"entity-type":"item","numeric-id":6979918,"id":"Q6979918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$E41FE4A5-2F35-4709-9C1F-7FD94F66B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0cc8a611261a406b21d6d25bf16434577064f0","datavalue":{"value":{"entity-type":"item","numeric-id":5452087,"id":"Q5452087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$A39DC417-EBCA-4A75-AF6D-A5963778F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afabecbe47dc041548eaf4c507223bc80b78f2d2","datavalue":{"value":{"entity-type":"item","numeric-id":7027216,"id":"Q7027216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$764EA2CD-A8C9-482A-93E7-282D8B0D01B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$C84697AF-935D-43AD-9055-483ADCA05C38","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":"Q7008042$DD92E8FA-56EE-4C8D-AE6F-03AAE5D3F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a3faf9d0e1138ff2b7256f0fb9448a11dda69a","datavalue":{"value":{"entity-type":"item","numeric-id":5277758,"id":"Q5277758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008042$A2E7144B-A904-4542-A033-3EB2E77ECDFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Direct encoding of declare constraints in ASP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Direct_encoding_of_declare_constraints_in_ASP"}}}}}