{"entities":{"Q5870533":{"pageid":7900084,"ns":120,"title":"Item:Q5870533","lastrevid":55431544,"modified":"2026-02-17T16:18:00Z","type":"item","id":"Q5870533","labels":{"en":{"language":"en","value":"Lifted Reasoning for Combinatorial Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7639830"}},"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":"Q5870533$EFB760BF-2F54-4600-8D15-B5B38BFA9866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163cc7848da249ed84a43ec7998170f7104501fb","datavalue":{"value":{"text":"Lifted Reasoning for Combinatorial Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5870533$1A48E97D-0137-4B08-B5D0-F0AEACAB6A9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4dca558b83e87345c123a37993ddc85a91394e","datavalue":{"value":{"entity-type":"item","numeric-id":5038456,"id":"Q5038456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$04E4DBD6-2BE8-4FC6-AF71-E1882B0CC70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8146a97c45aca946ea770cd332f3c372e8da8aed","datavalue":{"value":{"entity-type":"item","numeric-id":285934,"id":"Q285934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$A78B36C2-9215-404B-92B3-188A1363D977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60600b06aaed1a1a365f42ff633962e8cdcb20f6","datavalue":{"value":{"entity-type":"item","numeric-id":208014,"id":"Q208014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$E359C8AB-57FF-400B-978E-86E718414107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"165cca451a0d1757863053ccb2df396242d15bec","datavalue":{"value":{"entity-type":"item","numeric-id":324655,"id":"Q324655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$AF5F0FC2-9781-4030-AAA8-3568227E1EFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$45A1A9FC-B4A2-4917-8A87-2C9CC9F5505E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"338fb346cc2827bbd9b83792488672b42660d568","datavalue":{"value":{"time":"+2023-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5870533$8D8D6AE6-0C68-4B25-BBE4-2EA913B7C607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870533$ECD9B0F3-00C2-4833-8E7E-427E0B62C919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd601f277befc9b5ae314a4fb3b221c1c7e94e01","datavalue":{"value":"7639830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870533$5CC89BE3-8DA3-4285-8656-501F2924460C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870533$6DF6AF15-D248-404C-99DA-F03C279D0C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870533$80E2197D-2D92-4D0C-86E5-18B754B7660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870533$4186051A-0D0D-4B20-A46D-02AD4B9D89FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e51aa4e2f2bd652bd50439a94ace0d6f487d12","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$EB3C19AD-F32E-41CA-8961-E743BEAF89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f1923d8b950fa320b023ce2d09d3230ad6523","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$4D77BEB6-5CA7-486F-A053-CED99BDB96F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1b73eb368ec90ceaaf1ef0f83df30fc135548c","datavalue":{"value":{"entity-type":"item","numeric-id":2163883,"id":"Q2163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$59DEEAA2-6014-48D2-9E0A-45A4194C7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199ef97a15ac313d84499d663d71f96bd9fb44a8","datavalue":{"value":{"entity-type":"item","numeric-id":5395730,"id":"Q5395730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$80603BE2-AD95-4F26-88F8-4F64C12B468B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bf152ea9e9f5bb6248f2fb9d697fe65f43d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":2638807,"id":"Q2638807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$A5A8F72A-676E-4C86-ACC8-C52614133AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6b47945a474d5570ae0ac55107b34b7957e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":941817,"id":"Q941817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$00D7F520-F2A5-4777-8B0D-30ECB4942549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd560b5c3701de250d9304ce530d163a8c6d903a","datavalue":{"value":{"entity-type":"item","numeric-id":1589639,"id":"Q1589639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$7977DEA3-2BF3-4718-8A08-55882EDB5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0984831b3237db09a64bb1cd47e11f2c03f98bed","datavalue":{"value":{"entity-type":"item","numeric-id":2407478,"id":"Q2407478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$E875967F-478A-481C-AC39-DA2EDCE0AE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c0ec2fb196710900599c29e6b3cc2481ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4989322,"id":"Q4989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$36783CDE-D4EA-429C-9203-0C778539DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4c5e45907b481374cfd5bb471aef5c8186e5d2","datavalue":{"value":{"entity-type":"item","numeric-id":941812,"id":"Q941812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$EA9F1245-368A-4BE3-9162-7E93BB244586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$2C4AC811-F4DB-4EEB-A5F7-1E6E77D2EBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$9848CD8F-E813-494E-BD38-9B8CB03E9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$1C06A77B-D8D9-4A08-B2C1-ED62878F9C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$45B21765-A33C-4B91-A45D-83DE8CCE0214","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$FABD59A6-68A8-4A0C-A9CB-63239F275C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$3B6207B1-15E5-4638-ADA0-E48317ABA0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$365B38A4-44D9-4283-A8BB-08F0A2DEF042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819305f873e76c90d91a03741ddef3564d02d474","datavalue":{"value":{"entity-type":"item","numeric-id":22143,"id":"Q22143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$DE4556A1-7234-48DF-BA24-44C1D7C395CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"48d242f42195ec9fbfa20962a2c52400da487e55","datavalue":{"value":{"entity-type":"item","numeric-id":39207,"id":"Q39207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870533$A0CEBB80-8684-4617-AC57-47E025C577DC","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":"Q5870533$BF8AF6EA-F69E-419A-A44B-0BCEBA69D22E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61b62aebd889aa5fcbb6b67d935e7e68110bc741","datavalue":{"value":"https://doi.org/10.1613/jair.1.14062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870533$47A81773-D4F4-4E5F-A68D-7BF8F1655F61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74ebe3236e42cf3fd945064e61bb6641e9ad23ba","datavalue":{"value":"W4313642913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870533$9A8C3F04-C5E6-4615-838A-BFF8A95DFB4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40529d7e24ef88aff05dfb1afe9e02da58a69da3","datavalue":{"value":"10.1613/JAIR.1.14062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870533$2CB4FA4B-0BCC-49F4-83BC-43A6EE684A12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63929eab9bace8ff15d0073080fe3540dd6918a2","datavalue":{"value":{"entity-type":"item","numeric-id":6130527,"id":"Q6130527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07fa5ac9e8e00cee4e504a73ae165a9736a4add","datavalue":{"value":{"amount":"+0.7001582980155945","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":"Q5870533$15D4DC04-0AA6-49C0-A68E-DA5EF71D8F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07d53da9ebd7726961439c807e3df7a160d69b3","datavalue":{"value":{"entity-type":"item","numeric-id":5235474,"id":"Q5235474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd48e554e7f5abeb9ca6ceb7c54256f29ea5dc3","datavalue":{"value":{"amount":"+0.6195107698440552","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":"Q5870533$38BF0B49-3CAA-4D79-B68A-49AAB549F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d543ab2d7d85a8a38f6ad398d935d79d21f73915","datavalue":{"value":{"entity-type":"item","numeric-id":2206471,"id":"Q2206471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ca30ecdf391125b99aeeeee49def09aec652e2","datavalue":{"value":{"amount":"+0.6174362301826477","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":"Q5870533$DE75EDAE-F60A-4064-AF15-D59DB6C35D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f7f6f8b5c37cbfc0736850eb79fe6f0c973b","datavalue":{"value":{"entity-type":"item","numeric-id":6166545,"id":"Q6166545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0027114a8aa7add11227fdbe2a059750f3f9a05","datavalue":{"value":{"amount":"+0.6110036373138428","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":"Q5870533$46AED25E-6677-49FB-A986-2A7F6A6870B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8014e6249e0d63c88df359d0e38ee27ce00b892d","datavalue":{"value":{"entity-type":"item","numeric-id":4828657,"id":"Q4828657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7632cae6497cee3cb9c3137ea1a906cf3edb52b","datavalue":{"value":{"amount":"+0.607424795627594","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":"Q5870533$8E34D8C5-CE74-41F0-A0EA-D94C1832A9F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5870533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5870533"}}}}}