{"entities":{"Q2303508":{"pageid":2314251,"ns":120,"title":"Item:Q2303508","lastrevid":71797884,"modified":"2026-04-14T00:36:34Z","type":"item","id":"Q2303508","labels":{"en":{"language":"en","value":"Definability for model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176851"}},"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":"Q2303508$65196B41-DF62-42C5-B3FA-20773758BE08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c904190f53f185c04de87db91a3ae1acd86badb4","datavalue":{"value":{"text":"Definability for model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303508$486A0093-D95A-4991-B65E-8F89D7D2026C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ab1fccefad11bbb83befbbc223e294bd95f15d7","datavalue":{"value":"1435.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$9D158105-8CAD-43DD-942A-79F3D39BC0B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$358C5302-5D1F-4D78-8B2D-C603B9E529DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"758f26919a70aca9e34330a2ae14e5a928299ddc","datavalue":{"value":{"entity-type":"item","numeric-id":2303507,"id":"Q2303507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$9ECB2FDC-D943-4F29-82BE-B25CBC0AC0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c04afaef6a546b4a8238a79a8a3a0d3a9f25b8e","datavalue":{"value":{"entity-type":"item","numeric-id":201919,"id":"Q201919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$CD75CB21-9988-47E6-95F0-E21B2C275155","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$04FF0E0B-3A54-46BB-9831-C7DD3712294B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303508$2531E71B-E860-4C38-8252-CCECD0C5F8F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$2788EEA2-AD83-4ED2-8A1A-EC88B2518163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$CF5E9B06-FD36-428F-B768-9C73BB9BC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$69FC4FB2-454B-47AE-B72A-EBFE0AAD3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$DA0AA6BA-F63D-40B1-AB3B-3A7B2F0D0B03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a727a02a1d789435667f7b262631ecd3fd258070","datavalue":{"value":"7176851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$898B788E-B73E-4776-B0F8-81087D1D7A7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303508$002F2CDE-7FD7-4C7A-B4C1-FF40BBD49E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303508$8BEBA65D-3E01-4B4B-9D29-4B8DCAC94F0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$384636B4-63A0-4A1C-9DCA-677AC84F20D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa0d89c0a8d281cca595eba1f33ef7e0ef5464ab","datavalue":{"value":{"entity-type":"item","numeric-id":54038,"id":"Q54038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$9E318BEF-9A1F-477A-A448-31CC458FBDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$E9810C00-1E85-4141-BE30-EEBB6D76FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9ac366c95c8f3fd83eb82d5d73f8387dbc29a4c","datavalue":{"value":{"entity-type":"item","numeric-id":25317,"id":"Q25317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$6F08B3EC-533F-4414-A8B4-CC25333FB1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$A462B99D-3D08-4800-881E-DA243BECA862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$6C20D32E-D434-4F00-A859-A72581AAD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d662728dc9fc849ac1c2fe11d42bc85b885ffc1c","datavalue":{"value":{"entity-type":"item","numeric-id":20839,"id":"Q20839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$70A98A7D-AC20-496C-B9FF-3257C5EDAE72","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":"Q2303508$B84C85A9-14A6-4A43-9AA6-2AB83C782E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$4B69B303-B16F-463C-94E7-3F5E97D63132","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":"Q2303508$4D91BE7B-591B-4CC4-AD47-55B7D938FD35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ebeaff5f98c5b6b8f31ce8a6a76ff1d81402ece","datavalue":{"value":"https://doi.org/10.1016/j.artint.2019.103229","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303508$467C695E-1E12-47DE-8686-77029C0F09CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"255012622765a27d1fc7aba46a6c5de40dd5c53c","datavalue":{"value":"W2999944813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$B3E4CE65-8C3C-4A1A-86D3-36931715F400","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d754e1ba8d536df14225f5a450d33784dfd92044","datavalue":{"value":"Q126402804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$5DB0DD70-EF2C-4547-8E2C-D37268B8F58C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$5332FAD7-2507-4652-987A-0D9DC0DEF4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da365b5d2ae2674ceb68d60ef4dc46009c126e78","datavalue":{"value":{"entity-type":"item","numeric-id":5326412,"id":"Q5326412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$E3CFF845-FCE9-4E2A-89DB-98BAFB4933F3","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":"Q2303508$C306B864-0B1E-4296-B09B-4886C8D6D36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$E5A56548-518D-4521-A97E-6D672851D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4189776021a8fd3166600fe3b98d5d2131d72ed","datavalue":{"value":{"entity-type":"item","numeric-id":3642870,"id":"Q3642870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$7F0C4A17-32D9-405F-8D52-6B2B2C3881C7","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":"Q2303508$B62DA865-839F-4154-AE7E-1D59C76AE848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$7283FBD7-1D37-4134-A0F6-494717FB48AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$F68CD2AD-0EBC-46BE-BE6A-9BCFEC38FE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3931e6aded462dfe6cd69a42a8dfcd8903b5ba38","datavalue":{"value":{"entity-type":"item","numeric-id":1656574,"id":"Q1656574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$544D7411-EFD8-40F4-A354-468C941CA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8c9073a8630862ed0968d989713f1cc756a877","datavalue":{"value":{"entity-type":"item","numeric-id":1680238,"id":"Q1680238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$3A89E717-1892-45ED-BA43-4EDCC8214330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff821e90bf8a02f902e29da084cc3e25138a763","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$A6C387E4-3216-4C66-B03A-D23506A2CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$43C19BE5-B626-4684-AA77-B94605418E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$2D89A244-FBEA-48FD-BBC8-E61369CE240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$109A0D8C-DBBE-4F2E-AF0B-475971F4998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5f0ba4fa613091c33ce7c9e43254ce322915c1","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$787523B2-496C-44A1-8FD2-C1575259E923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$EF2CC37D-ED3D-4E29-868B-F5DBE479BF0F","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":"Q2303508$443B153B-FA17-4106-89FE-8665543DDFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5fa7cc385cc7bf335bb85daaadcc8cd47fe32b","datavalue":{"value":{"entity-type":"item","numeric-id":2389643,"id":"Q2389643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$EAE30966-A5F9-4B01-A242-EA5E1ED1EA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$9201594D-8E83-4B78-9EAB-07AE822137C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$099F2632-83A4-48A5-8AC5-65E7104A2C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd8a4dc93b016ae90d166400ff8f558de540e1","datavalue":{"value":{"entity-type":"item","numeric-id":3630153,"id":"Q3630153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$D0AF41B0-137F-4EE0-8CE1-A2C0F6D1FF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe82ca7820de6b91c1ce3ceced5f38fdc13081b","datavalue":{"value":{"entity-type":"item","numeric-id":3453218,"id":"Q3453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$DEBD8B7F-8695-4798-BAA1-202C1CD2D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e356f4cefeec4885e9783fc6beaee96a65f3af","datavalue":{"value":{"entity-type":"item","numeric-id":265701,"id":"Q265701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$D9DD29CB-43EB-4062-8479-2F72F9567D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$831CC89E-8087-493A-982D-9B2F8F997E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047b17067c912d1734fcb42ec5f8a770f216eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4411161,"id":"Q4411161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$104C8873-4557-42FB-968E-35AC4BCBBFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$BF64D9EB-EE57-4347-B33E-691264C35D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$2EBC26E4-972C-4B6D-A5B6-3027535DB54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$EF47D168-AB67-4A49-8295-4D705ED34A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$4209A231-63BA-43A7-B917-4803E45A7A1D","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":"Q2303508$FB704C4D-8345-4FF1-B75E-219542AB6108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$8110CA1D-30F4-46E4-BC63-11CE61EBEE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$4738F95B-6D6F-4A84-8F49-8DB629801D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a993f1cad51f875f126f33b688d6a1ffa218bb","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$E4BDFFE2-146D-4E96-BFC9-F35DA3CB2507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff893d335162723e63e76a8a80994d0c5e19a591","datavalue":{"value":{"entity-type":"item","numeric-id":5282953,"id":"Q5282953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$1EE537F1-CAE2-489C-8619-DBDBBB83AA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ca55d72897e15722c0228e17a000132da3f800","datavalue":{"value":{"entity-type":"item","numeric-id":1656576,"id":"Q1656576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$2247D0B5-1E6B-4FED-A1A4-6EC242695392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c1c8187359268cad650520f7a768093722908f","datavalue":{"value":{"entity-type":"item","numeric-id":2566034,"id":"Q2566034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$AFCB7F59-8148-439D-9A57-780E8AE7DCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$FB5931FA-DD93-4360-A96C-44663B8DE6B3","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":"Q2303508$833887FB-6589-4E1A-B8CB-F74DA62E4F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191734449ceba4bc2a76e944da27595387f6a747","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$E495FBAB-F138-4A88-9887-A29BB7AE4254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7926b2423ccfda4bc8d7ade7adceba6f5c76e","datavalue":{"value":{"entity-type":"item","numeric-id":2843335,"id":"Q2843335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$249E88F1-DC09-4AB6-A576-007913B16852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46594f607f07797d1af3021edc64285e206c85e","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$22E00A9C-C6A6-4F4E-AFE4-D0AEB78886B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70e523db8ee40ae6b93198dbbc0a8cb792c8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3192055,"id":"Q3192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$2A9368D0-4A27-463B-ABE1-B28D9CC30811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08138258210c875637e838bc3684e67f735b7a9","datavalue":{"value":{"entity-type":"item","numeric-id":2517340,"id":"Q2517340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$01A814F3-B91B-4FAB-8418-B3D18E89C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3508621c44cb1e31d1449d9069f4f0e7ae434","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$52CC3F15-0A3B-4164-B3BC-2C87730AB9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd5f4596ce46e61cdf3cdc1619c357f68a4cea8","datavalue":{"value":{"entity-type":"item","numeric-id":1651931,"id":"Q1651931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$5393E0DD-6DDC-44CE-A615-5F32B9C05076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d984d2aaf66bd30ce5219e85ca632b5286520333","datavalue":{"value":{"entity-type":"item","numeric-id":428474,"id":"Q428474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$B58164F0-6AD7-4B4F-945B-70A91B52E299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6b25c122968bdff8211f87e513dd6b5c732cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2376845,"id":"Q2376845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303508$51940290-53B7-4E9A-A58F-FE8A24562C83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36f7cba4a0d6a037eef42c3556b45e83e485cc18","datavalue":{"value":"10.1016/J.ARTINT.2019.103229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303508$ACFFF89A-BDB2-4441-8DE9-E539B6F4EE6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf646b040c58309b2841f74337423b56d660972d","datavalue":{"value":{"entity-type":"item","numeric-id":1057259,"id":"Q1057259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5d6d280b493a587ae28403f89ca462c19100cb","datavalue":{"value":{"amount":"+0.9365662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$07D163C0-5114-4372-88F4-944F08E9516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a0862c048f06bd4bbf3ba553b49e87c983f87d","datavalue":{"value":{"amount":"+0.91483706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$43A42FFD-E560-411B-81E9-C58CE1FAB119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe02fe9857848298bddb584c270dfdbe4e996bed","datavalue":{"value":{"entity-type":"item","numeric-id":3676125,"id":"Q3676125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba386ac27acfdf59eaaa4c92b5b7cf7eb043d60","datavalue":{"value":{"amount":"+0.90917367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$AAC96F1C-0DB6-4664-B1F1-618BFA08FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb463df6f004c069835f030659b7edfdd6af6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1821096,"id":"Q1821096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4123c29fd148e31f3c64451b484459c18d480d91","datavalue":{"value":{"amount":"+0.903079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$E9C22B50-4AD6-4CB2-A4B5-EC914223B81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b073ff3c8f1cfeb8b8d84b3486bca15c1f4cd822","datavalue":{"value":{"entity-type":"item","numeric-id":3335761,"id":"Q3335761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923fe5f7fa4c03694c2498019e8979aab8580aff","datavalue":{"value":{"amount":"+0.90266335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$D110B8B9-F4D0-412D-89B1-E5611676C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5d2d52a1bbae370f9a7aeb4021b509bc3236c3","datavalue":{"value":{"entity-type":"item","numeric-id":3483272,"id":"Q3483272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001a980f01d3424b2e93d6ced9414b5493660e66","datavalue":{"value":{"amount":"+0.90197253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$7CCDE1E1-E1E1-44D7-A7BA-31F9330DBB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef33691338361019a5d28bc22f18291130d95f7","datavalue":{"value":{"entity-type":"item","numeric-id":2759151,"id":"Q2759151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c312fe2be2e11da7edb84a741ad96fc929cdd543","datavalue":{"value":{"amount":"+0.89903814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$D89818D0-7A5C-4546-BB23-01BCC195A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f98c4bce65eff1c1bd565be5d7f9a19ace97bcd","datavalue":{"value":{"entity-type":"item","numeric-id":1816735,"id":"Q1816735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa23f1452a26d6caaf332b6a73af74687f18bb8","datavalue":{"value":{"amount":"+0.89633155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$F93552DB-0743-4445-8741-4914798FAA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a038e8ee98cb34a170bed458a6940101b68afe40","datavalue":{"value":{"entity-type":"item","numeric-id":4460847,"id":"Q4460847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6729edc9a24ff09ce9cff9c4856399d45931c43d","datavalue":{"value":{"amount":"+0.89613724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$84EEAE18-A21C-40DB-8082-77682938A027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55cddb3018dfb38cd38936f1474432ded220fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1387092,"id":"Q1387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c02af04c1872b4d37835a13a6445d6214e1202","datavalue":{"value":{"amount":"+0.89573264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2303508$89272C2C-B43D-4BF6-89F4-D717E6A128C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability for model counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_for_model_counting"}}}}}