{"entities":{"Q2407478":{"pageid":2418221,"ns":120,"title":"Item:Q2407478","lastrevid":57909156,"modified":"2026-04-03T01:20:33Z","type":"item","id":"Q2407478","labels":{"en":{"language":"en","value":"Algebraic model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6783512"}},"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":"Q2407478$7D75297E-0EE2-46C8-9611-A26FE9F5EEFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ba0a2cc410c5c3c7c50b34561a15247bdeb2831","datavalue":{"value":{"text":"Algebraic model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407478$0A3DAAB8-7C7C-4A04-83B0-C1741643FE29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6702047f29c10e5766928b99eb9fd510b9f2217c","datavalue":{"value":"1436.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$12D8E28E-658D-4B7E-986E-14BFCB3836EF","rank":"normal"}],"P16":[{"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":"Q2407478$E53A167E-D7FA-4E2B-8572-BA55F5566EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be75272709f70dc16737b7d1b8d5c3efdec24dec","datavalue":{"value":{"entity-type":"item","numeric-id":285932,"id":"Q285932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$3B32858F-420F-45FD-BAAB-E9A5521B3EBA","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":"Q2407478$5F3FCD8E-1484-45B8-974E-AA183E7DF164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$749B0779-C18A-4CFA-8F54-EAF67366670E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407478$832E6418-BE6A-4A26-AE27-216684CF7E23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b3902c96b42626429ca96c0ad1e14b3aedc3d1","datavalue":{"value":"https://arxiv.org/abs/1211.4475","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407478$E95CDA1F-7398-4F2E-8BB6-6942A7A6CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c44efca19809294c6d3a93c5f503137e5c58a70","datavalue":{"value":"http://orca.cf.ac.uk/106735/1/kimmig-jal16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407478$01A35644-045F-43B9-A51A-D971A55C76E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$D294D693-8078-4C6F-8306-B632CD7242AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$7AF64FEC-72FE-4B75-B892-0EBDEDE95B63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2949d11cfc2d0b047038af4e04e105fb4d6a05b0","datavalue":{"value":"6783512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$A6DD27CC-14BA-46EF-8234-6D853551A8EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407478$B6D70842-C522-497B-AF38-E0E4B3D70B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407478$FB0537BB-770A-417A-B79E-6AA0E34AC42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407478$75555F28-8D79-4DF9-9054-F9F056F75E41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f38d782ff2466fba0f05341e634453b2a0feba8","datavalue":{"value":{"entity-type":"item","numeric-id":35130,"id":"Q35130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$DA4AA9CD-6203-42BF-86B4-79BB3AC48ED6","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":"Q2407478$E5C15FFB-0DC6-473D-8557-B685B0CDE6D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e43dfb1ba97b18272f70c347ce08b43ac8b012c0","datavalue":{"value":"W1873912000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$C09A0A3E-1905-4925-9AB9-D9ADF29EAB46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d889df2923f181d6ce0923a425cbb78c6fb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624187,"id":"Q3624187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$4FA70222-D6DE-467E-8F9B-CF74566EBDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3581cf3750093453bfeab4e45a7e007e450d20","datavalue":{"value":{"entity-type":"item","numeric-id":2841524,"id":"Q2841524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$F8AA84F3-1849-497D-BA6B-437642BAE6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ea90c5529c421ff7218a366e32d09a92d4a508","datavalue":{"value":{"entity-type":"item","numeric-id":2499043,"id":"Q2499043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$F4278F1E-9418-4653-9D20-4D387B95F09F","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":"Q2407478$D5F760AB-6BF6-40F8-9108-35B9D88E4E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee896bd4928a19b45f4b413e957ad7e958c7959e","datavalue":{"value":{"entity-type":"item","numeric-id":3632890,"id":"Q3632890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$37378A1E-7ACB-42D9-8874-421D05EA6FED","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":"Q2407478$4A748D64-C5AD-4C69-B252-C07CE53BEDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eca4ac2f3de9301adcd6eb3d3b749abbf675c66","datavalue":{"value":{"entity-type":"item","numeric-id":814606,"id":"Q814606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$824397EF-3FA3-47DA-B141-C8CE7AD22193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adacdaeb2ef71a3514e21c2890e83cb9f35c51c4","datavalue":{"value":{"entity-type":"item","numeric-id":3066107,"id":"Q3066107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$C8914D9B-3465-415D-A34D-FC93526A121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45bc6685fcbfd71ae3b1f88561195c892b343d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3624169,"id":"Q3624169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407478$D129435A-D5BD-42DA-B2BF-E61DA5D81F66","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":"Q2407478$842A8B91-1FBA-48B7-B48C-A941F5875D8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fea6347fd01db40ef34d2b32f1fcf2b51ffb9c8","datavalue":{"value":"10.1016/J.JAL.2016.11.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407478$948FDC22-93A8-4CF8-9FD1-5CBAFCC0BEFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4229dcbba3476b63a1e4325be98e0485140ca4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebcbae874a7b0959967ceda180d45a17f3c8b97","datavalue":{"value":{"amount":"+0.8024801015853882","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":"Q2407478$D85FACBE-90FC-4824-AB06-4FCC569B1BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76762f0bcc813cff0fef6c741cc9a42aebc40218","datavalue":{"value":{"entity-type":"item","numeric-id":2321319,"id":"Q2321319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f22e52811e25d14602afda29ee8bf7c0c8d359","datavalue":{"value":{"amount":"+0.7429847717285156","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":"Q2407478$E6E0F49C-64A6-4233-9AA2-85C63A53F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e5199474ec27d7a858ac43518c054f11c6a113","datavalue":{"value":{"entity-type":"item","numeric-id":2060758,"id":"Q2060758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36b74d7eeed4d024ecdacbac0ce99121c8bb3d4","datavalue":{"value":{"amount":"+0.7378093600273132","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":"Q2407478$CDDE32B4-019A-401A-B030-AEAFF5769922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1c137a54a573e6b3b57290c145221b7ceaef04","datavalue":{"value":{"entity-type":"item","numeric-id":4999323,"id":"Q4999323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e669a83ed592809f8ff4fe0f4ec07ffbf02433ef","datavalue":{"value":{"amount":"+0.7362546324729919","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":"Q2407478$E07319B6-0288-4CD5-AB1C-11F04FC068D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af310524816e1c7df39ffc7616ac8d63076e51e7","datavalue":{"value":{"entity-type":"item","numeric-id":1678452,"id":"Q1678452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df99f0e0c8973aaf40d7733685029977526eebad","datavalue":{"value":{"amount":"+0.7298508882522583","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":"Q2407478$3B211D24-E08E-4451-880B-8C10BC16D118","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2407478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2407478"}}}}}