{"entities":{"Q6656460":{"pageid":14267617,"ns":120,"title":"Item:Q6656460","lastrevid":103786478,"modified":"2026-06-06T08:11:10Z","type":"item","id":"Q6656460","labels":{"en":{"language":"en","value":"IASCAR: incremental answer set counting by anytime refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7961435"}},"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":"Q6656460$1FFDF212-56BC-436E-B810-B1D4FD7AD1B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40655358a22cf3550ad84d9deca2d40b05e46510","datavalue":{"value":{"text":"IASCAR: incremental answer set counting by anytime refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6656460$BC9FB95B-399A-4107-99E4-A057B6980182","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$B0501B04-BDAE-4462-8688-0B7E3A8B867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f146517775985c8db1e3129a08a5c96410310eed","datavalue":{"value":{"entity-type":"item","numeric-id":2287196,"id":"Q2287196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$B4886107-762C-4178-A402-EB7A68F9A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad042a5aa549a448aea28a7c63c386d0f68b470","datavalue":{"value":{"entity-type":"item","numeric-id":1647690,"id":"Q1647690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$A0139325-F3AB-4EE7-88F3-9AA6662A8461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47574c74b4ef849a9748ef8b3c779dea4af0aca2","datavalue":{"value":{"entity-type":"item","numeric-id":2694564,"id":"Q2694564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$86D53AA2-A2F6-45E7-89FA-7B68EEB4CDBA","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":"Q6656460$55227C45-FD3C-469E-B0B0-4B9BA7B3198B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f535cbd23c9060c43ead991a8a2f7be06e5099b5","datavalue":{"value":{"time":"+2025-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6656460$C03BA629-C56C-4881-8B23-51197DE659CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6656460$47AC1A06-D447-45D0-B575-B6B72F67ACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6656460$FE8729BB-5B79-49AE-85BA-77E6A80CFE74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b3a04926f553d32a4d12601f9a31c21ceba3a3","datavalue":{"value":"7961435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6656460$80F2730D-5507-41F6-A2E8-B00C49C7E61A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6656460$72A31C77-EF94-455B-B510-BCDC9ADE898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f84177c6bc1fcab47f701a12309fbb42e54dc2","datavalue":{"value":"answer set counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6656460$B80C8486-0F00-43E0-A31D-59C4CE89C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6656460$5B645EBF-557A-47E8-AFE7-8B3FBD5A4B78","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":"Q6656460$DEF99423-BA69-4AD6-BEC4-DD1605207171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54166061bda836f223677339a6128a5c7c7c10d","datavalue":{"value":{"entity-type":"item","numeric-id":6103676,"id":"Q6103676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$51ECFC45-7CD1-4C09-BE73-12B60C7FD0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$5B8540BF-897C-46F6-9E69-F152B7B1AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4cd675ba3551483ad32bee8e9d7e9238c77279","datavalue":{"value":{"entity-type":"item","numeric-id":5019599,"id":"Q5019599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$5BEB0C19-452A-44DE-8698-A03C3F105D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3cd9f033b832db1cc4547301453c2d10e5120c","datavalue":{"value":{"entity-type":"item","numeric-id":6643074,"id":"Q6643074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$48C20C4B-F8F6-4F20-B411-13D67A746428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d7d3ccc3684bd24073efc75ecbe050838f84f1","datavalue":{"value":{"entity-type":"item","numeric-id":5591930,"id":"Q5591930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$8C2AD8D5-612F-471A-81B1-DDFDDBF852A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39748fbf1aa30fe66372b919e5ee7550f83f3f55","datavalue":{"value":{"entity-type":"item","numeric-id":4592990,"id":"Q4592990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$C6FBC8F7-46BC-450E-B93F-D70F1562F3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96f1ef083662b195c20111b188498190285c29c","datavalue":{"value":{"entity-type":"item","numeric-id":2694555,"id":"Q2694555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$05DC5869-2705-4764-8BCE-771CE022DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641e4bd2eeb4ead657d73340e05645d1c8dcd76d","datavalue":{"value":{"entity-type":"item","numeric-id":5240209,"id":"Q5240209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$071F0294-B98A-4998-B1A4-583BFDE25B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$1A3EA265-F6C7-4C77-81AD-99EFB2FF7510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac396f5331f89d255409a6f55de411b0dd79a31","datavalue":{"value":{"entity-type":"item","numeric-id":6643078,"id":"Q6643078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$DA30843A-0DDA-46EC-9664-B689C4B216F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e09b2df25fed7040c3c645039ce3ce0b724eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4443390,"id":"Q4443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$777634F2-92FD-40D1-AD95-B83E139E3B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$9F0E40F1-12D2-4D41-B1CC-84E8E5110221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95bdc9438d9e2b58081e55820080b64330d3e430","datavalue":{"value":{"entity-type":"item","numeric-id":5111890,"id":"Q5111890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$B7AD167E-0841-44C2-8B2A-03B46194C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9730cba1cdce400c52f825c8234d6592316f1cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2694593,"id":"Q2694593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$5C2C3262-B977-42B8-AB4A-86FCBBE74915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$F7A8B6BB-34EA-480A-829E-18B34FFFE100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e461bd8e2954fe483325b3b1a2efed66f240","datavalue":{"value":{"entity-type":"item","numeric-id":2694570,"id":"Q2694570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$3A66ACC9-C9A6-4A60-8233-71799A611FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e48ee10eba1c20f6065bdd2850ef96ed63e508fb","datavalue":{"value":{"entity-type":"item","numeric-id":2401930,"id":"Q2401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$CD4F9290-D9C9-49E7-A3AC-C8E97ACD211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec1746076028f6ae6e440f5924102151d9146a1","datavalue":{"value":{"entity-type":"item","numeric-id":6063876,"id":"Q6063876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$0052B48B-04AC-4211-B363-D72A180C952F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$4DFC2944-E0FF-48E7-B0C5-FE3B1968391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf8be42a562ef4ddb536e9244b2e11074fbbbd4","datavalue":{"value":{"entity-type":"item","numeric-id":2287197,"id":"Q2287197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$7B4F1314-7406-4B51-8245-6E277B603320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$16F7523A-BD41-46F3-BAD6-6D4F282EF0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b44eac96582f3efc81bc5119081e70ccb40c5083","datavalue":{"value":{"entity-type":"item","numeric-id":2401918,"id":"Q2401918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$F9CD2E0D-CDC4-4640-86F0-DB12FB07FFC9","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":"Q6656460$363BBD9F-73AD-4F0F-A59C-457099ECFD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf0faabe18c85dbeaee89e293a8900d83bd4c0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2667835,"id":"Q2667835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$76F5B061-AD1C-4D1A-BBA7-18FD3DAC66F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$83701D8A-4F47-4C9C-BEC1-4D0E23837515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a36625d8dee2e935e412d9789af13a32cec5566","datavalue":{"value":{"entity-type":"item","numeric-id":3001916,"id":"Q3001916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$B188DBC3-E230-44DB-B053-78007324C76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$846AE0DD-20C7-462D-B52E-7DCAE86D91D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a50d2155c8b08321a54b3ac0bc39757a6121cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2362107,"id":"Q2362107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$5EBFE1B9-162F-41C4-AC85-7E0DEF57B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab289263ac80a8df854a0b026020c7e068e5240d","datavalue":{"value":{"entity-type":"item","numeric-id":1052094,"id":"Q1052094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$8B5454BE-FC10-4879-8954-382DA7236920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81629915ad3a79bb20887705a77cbf2edca48893","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$D249CCAA-E605-4A50-A201-590F76D20376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78d9d3c8959961badfc69e08dbf8af92c65ad16","datavalue":{"value":{"entity-type":"item","numeric-id":4702576,"id":"Q4702576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$98B9D01A-7895-43D3-953F-A86C1219C45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$90A53EB9-EB73-4EFC-83AE-29DF121E38C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$AA8B61E4-92E9-447F-B9F3-507FCBE562F4","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":"Q6656460$799E979A-763F-4F59-90E7-E594E3E076BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c04db52c26e3a7770645d529262efe971133ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1199545,"id":"Q1199545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$FB238404-022D-49EE-8D1A-3CAAE67D084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db588fed8b588eee97847c0e58b30f5e0749dd7","datavalue":{"value":{"entity-type":"item","numeric-id":5136333,"id":"Q5136333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$304EE995-6455-4778-9243-A6C65EC1A3FF","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":"Q6656460$AC6B439E-9B03-4443-9A6F-1FEF737239C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a1c211fc6d0417b369170779ec3c75f3446676","datavalue":{"value":{"entity-type":"item","numeric-id":2900545,"id":"Q2900545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$E72DDDCA-5AE6-4D3C-A824-26EF69BC5F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$17AD871C-17ED-4361-A8A5-8ACD2B6729E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cbe2ed6c9a80f1b0a931de0d2dbb2418b522ec","datavalue":{"value":{"entity-type":"item","numeric-id":2786915,"id":"Q2786915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$3FA758C7-9548-4F34-B04B-CCFA0686E704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$9D46F016-07F6-4C2F-AABD-D08643779F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$99D35293-8548-4CA5-B476-3A803A5C9175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928bdcbdf5648eaa3f56609a6f27b6e16785ef46","datavalue":{"value":{"entity-type":"item","numeric-id":2884255,"id":"Q2884255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$F25E59F7-34D3-41A2-ADC6-4BE5BE805C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65355f6423e0af70695d20706f5d72c76a221e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3194805,"id":"Q3194805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6656460$EF5643DE-4B7D-45F4-B459-8E9B813890C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fefefc6b57d93aeba75a28d27166dd93f5afbd30","datavalue":{"value":"10.1017/S1471068424000036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6656460$D6FFE924-854E-402C-B2DA-CB20BB2DE8A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729d02078e93b3cc2d99b31ee7987034120b6922","datavalue":{"value":{"entity-type":"item","numeric-id":6566624,"id":"Q6566624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e15b98c9daaa98f0a07a0062c39bfe98815a8d2","datavalue":{"value":{"amount":"+0.8002335429191589","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":"Q6656460$A5993131-546E-458D-89C3-94A409B622FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1af743da2b4cf43957d342bc2c271c75ecf7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108506,"id":"Q5108506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59926ac60447388d752653bfa13edda3a85c5d8e","datavalue":{"value":{"amount":"+0.7655649781227112","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":"Q6656460$FA7B2B9F-DCFC-463B-8766-3E4A337EF553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daba56143b57dbe7f789945b60f977c1336bf500","datavalue":{"value":{"entity-type":"item","numeric-id":2931278,"id":"Q2931278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e512ee4b0869692235ef06e29b90bb7b5d494603","datavalue":{"value":{"amount":"+0.7578540444374084","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":"Q6656460$A5DD1762-A882-403D-9A68-146622972ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7eeed3ea3af9cb29ee2bb4116be783408c460b2","datavalue":{"value":{"entity-type":"item","numeric-id":5215367,"id":"Q5215367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b39e1e5d1fae1aa997663ae67efcc709dd78f8","datavalue":{"value":{"amount":"+0.7535718083381653","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":"Q6656460$2D8C22C3-C605-4F36-8BAE-29A8DC9D9A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5feb9f0e5327e924141fa866427c2c9fd356c51e","datavalue":{"value":{"entity-type":"item","numeric-id":5504656,"id":"Q5504656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2519953a80fb459d05c6f45610d68f631adeac5","datavalue":{"value":{"amount":"+0.7492625713348389","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":"Q6656460$BA7F9548-669E-4AC4-9E8F-F575A73756E7","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":"Q6656460$4AB7F084-066C-4223-9FFE-6A31F8263CD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IASCAR: incremental answer set counting by anytime refinement (scientific article; zbMATH DE number 7961435)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IASCAR:_incremental_answer_set_counting_by_anytime_refinement_(scientific_article;_zbMATH_DE_number_7961435)"}}}}}