{"entities":{"Q6884740":{"pageid":20804983,"ns":120,"title":"Item:Q6884740","lastrevid":84206711,"modified":"2026-05-13T14:27:02Z","type":"item","id":"Q6884740","labels":{"en":{"language":"en","value":"Lazy atom discovery in compilation-based ASP solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8136248"}},"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":"Q6884740$29F05350-E0BD-423B-AEAA-EA6655758354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12df7b34c174892e9fec03bea75ec0ba57739d0b","datavalue":{"value":{"text":"Lazy atom discovery in compilation-based ASP solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6884740$FC02F4AA-3C97-4412-AC51-841B00A0576F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2e8e70caec20ef5da0874dd85c43b3767bac7ed","datavalue":{"value":"10.1007/978-3-032-04587-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884740$A10F260D-36F8-48C8-8428-63ED7604FCEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84c7947418ec3c983f9f5a3453d6ae1d21f44f8","datavalue":{"value":{"entity-type":"item","numeric-id":6884738,"id":"Q6884738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$1753F994-ACDE-4B22-8852-54D2C4A6DCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68ab4958e25458e025cb45c67c065e1af2c73fea","datavalue":{"value":{"entity-type":"item","numeric-id":6884739,"id":"Q6884739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$2659478D-92EB-4730-BADF-3A3209CD4A77","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":"Q6884740$F1CA7A37-5026-4606-A0E1-5DF4176EB955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd4fecb04d8db599a838be91371026bf542f5cf","datavalue":{"value":{"time":"+2025-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6884740$CE234D90-D00B-47A5-B28A-A3EA1896C265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884740$91FC7716-8E6D-4D93-8FA2-9CF393526456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92c99b95d48856ab45919dcaa943bd88be5c0f1e","datavalue":{"value":"8136248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884740$597B6743-3686-4DCE-9C61-587609F8E543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884740$AB156BC8-D29B-4015-99D9-3DB2287502C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b245e5435b820a409e41c7e10576b603802f436","datavalue":{"value":"grounding bottleneck","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884740$A8C2CD87-A80D-416B-A657-0A4AC1AA85D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea8345edf420ae60e33207f9d700c31b5a57116a","datavalue":{"value":"compiled propagators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884740$6594A879-6D31-4B23-80C2-B50C45FDA0D5","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":"Q6884740$EB32FF0C-0B9C-460A-A36B-541A622C9022","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d51c47976dcda9c5a8e121ff9368920c64528","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$936DF270-F4E3-4BFF-881F-E3064066A902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c8d5197dd8fd9d2228af5f121dc5ebad4f6142","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$9467A300-ED49-4068-A189-DE530212FBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca2856691e6c29f8e4aa80de7a199c32d522847","datavalue":{"value":{"entity-type":"item","numeric-id":5398292,"id":"Q5398292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$90835CF6-FF4C-4EE1-AAD0-D0310E038652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0a8f7f317697784a0715cad822accb0fd3823a","datavalue":{"value":{"entity-type":"item","numeric-id":4593093,"id":"Q4593093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$99017303-91A9-4C2C-95C4-BC13CAD6AB84","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":"Q6884740$B2BD10C4-5B30-4207-BAFA-B246A03037C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b36c0aa81b0a49e50bc1489b13e67cd038930d","datavalue":{"value":{"entity-type":"item","numeric-id":899444,"id":"Q899444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$713D224E-652F-43DD-A3B1-29EB7EA4D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c346019e86deb8d4b24ebdefb9203307c29646e8","datavalue":{"value":{"entity-type":"item","numeric-id":5176854,"id":"Q5176854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$8B63519C-D921-4C55-845A-4073F6CF791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab7495a712b290c4d6f0e0e875280bba8089592","datavalue":{"value":{"entity-type":"item","numeric-id":5108506,"id":"Q5108506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$DC449910-0777-4D4B-AC09-BE59A2CFE349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581927ab3b7a687a6ca6a998abc06c09f81f2e07","datavalue":{"value":{"entity-type":"item","numeric-id":2296743,"id":"Q2296743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$27B801E6-FC94-4FE9-8603-922581029F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a8c12615c31f4a7bec3457f926218d3e86c91b","datavalue":{"value":{"entity-type":"item","numeric-id":2355463,"id":"Q2355463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$17D32079-8C0E-429A-8B56-12F9D7134DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c750d054ece0f97f6f20a1460221392eafaada86","datavalue":{"value":{"entity-type":"item","numeric-id":2401947,"id":"Q2401947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$6EAB2228-DF0F-46CD-9BF3-AFD7C30FACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$312E89A7-3DD3-43E6-A07D-1D1C9648B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$CA2CD422-4815-40F5-A4E9-0B567F348ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1762a562d76972c955934bea72e964211552c618","datavalue":{"value":{"entity-type":"item","numeric-id":3721797,"id":"Q3721797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$544A3230-6381-4C8D-BC2E-0AF366786CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893cf0d6bf16fd680f285cf8e60818541e4e7d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2055805,"id":"Q2055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$20D55FBD-C82D-4C5F-A4AA-DFAEF3165C21","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":"Q6884740$CA2181FB-FCDF-4D64-948F-91715A4B9D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$2B14E511-F67D-4382-AA78-D866F9B7DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a1d2cac5ece7a8c7e8c9dee4ca179efb9e3c18","datavalue":{"value":{"entity-type":"item","numeric-id":2055820,"id":"Q2055820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$1E19A9FD-7165-4367-A9B7-720E3BAE6EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbde1943fd5e1f6aa9608c8bab76f715776bf52","datavalue":{"value":{"entity-type":"item","numeric-id":4593009,"id":"Q4593009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$67C6C65B-2EF1-4FAF-8A1A-30852030F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251bdcf7d603918ef5abb90908df696f6c2c47c8","datavalue":{"value":{"entity-type":"item","numeric-id":4911129,"id":"Q4911129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$4BD940AB-DE68-43AF-BC93-E7F1DF00A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0d2309614c05112ed0834e1fffb734dda082a3","datavalue":{"value":{"entity-type":"item","numeric-id":3400569,"id":"Q3400569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$9A55EF7D-EFE8-475F-BE44-57B7AD00C02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff212a6ab024631114ea3abb177cb291692cb8c","datavalue":{"value":{"entity-type":"item","numeric-id":4589246,"id":"Q4589246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$755786BA-995F-46BB-B58B-D1CBD8A8E80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1170a5d613a14657b0e9563ccce08fc2238f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":7027219,"id":"Q7027219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$B4D7E692-35E0-470A-9312-9DD927E2E6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0738cf3e1da09ecc7f5b155826197c4de7faf968","datavalue":{"value":{"entity-type":"item","numeric-id":5140015,"id":"Q5140015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$7E82B523-B75D-4888-B36D-00CD9E22A141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1539985c9556e0595a9e1c47b7ee94267357391","datavalue":{"value":{"entity-type":"item","numeric-id":2401934,"id":"Q2401934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$E51C5CDC-FD15-4EBB-AA58-7D1D16C368FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b216c03bc2efc08d625ca17d56cca07426d84cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5140003,"id":"Q5140003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884740$210DDDE3-F8E4-405E-A126-6CCEFA92016F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy atom discovery in compilation-based ASP solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_atom_discovery_in_compilation-based_ASP_solving"}}}}}