{"entities":{"Q4372920":{"pageid":6402519,"ns":120,"title":"Item:Q4372920","lastrevid":89552912,"modified":"2026-06-04T17:39:44Z","type":"item","id":"Q4372920","labels":{"en":{"language":"en","value":"Counting finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097747"}},"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":"Q4372920$D7612DE5-D2D5-4024-96EE-3C630202CBAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ad15444824ae1e7c9f79df9b7d2edb22df14290","datavalue":{"value":{"text":"Counting finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372920$57F74D0A-7E64-4CF3-853D-0E6CCBFCDD42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c31cb8896a86e5f3bac0b436ad2c1770b250aaa","datavalue":{"value":"0897.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372920$5B7E498A-4B72-4E64-8C6F-3DBB1F4AA2E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49a24629c904dc6509c05fcca78ae235c9e207b7","datavalue":{"value":"10.2307/2275580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372920$9083CE68-1172-4B8F-BB17-D23A9213FB20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d585795e88d2823ecbad6678edab4b820cb00f","datavalue":{"value":{"entity-type":"item","numeric-id":696977,"id":"Q696977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$2363A2F1-539A-469C-8C6A-70AF313DB758","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$B942BB67-7D6F-47FE-9CBC-1A0E2A374488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"befefdbf4b5e326bd1bedc2a91e9c20f746bff09","datavalue":{"value":{"time":"+1997-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372920$B4EBDE56-FDFB-49A3-AA3E-BE575E897338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372920$BACAF6D1-C382-46E8-A781-E76A61807B1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55bba7badbf30a3737c85a0ea51b14e1ae82145f","datavalue":{"value":"1097747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372920$67E042A7-B2A2-4B96-BA34-D0F3B844A249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba30d8dd206fc2537905e0a68e6c80b5a5b85f60","datavalue":{"value":"monadic second-order sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372920$AD11E1AC-3FA7-48BA-88CB-79DE2E511F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d09c57182bbec7235b991e737370b7e95ce4555","datavalue":{"value":"labelled asymptotic probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372920$9B1CF653-7983-4F65-BF55-E011B0E65365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43431e943ee943d23938bcc5eeb9f6766be47d16","datavalue":{"value":"unary function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372920$65D1255D-385C-4DE3-B3EF-ABF962592086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de5f4adb86e114e026af09b8d7e18455a4eb4ab","datavalue":{"value":"unary predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372920$4989F718-AF86-4869-B26C-C0098934BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e849ded8033afcbb0d6e82af4f9c27172079bed","datavalue":{"value":"generating series","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372920$CECFF665-757E-4B86-B4CE-130B5C7E510D","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":"Q4372920$2F9855DC-0C5E-48F7-87C1-60B01EFF37BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91cf69bca48ac5c9db1de38ff219a4e2bd1c4a2e","datavalue":{"value":"https://doi.org/10.2307/2275580","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372920$1A05C622-A13F-42A3-8037-D51D79841A0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25e78570bbca53f1779cd96ab4f85361ad66741d","datavalue":{"value":"W2127621780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372920$A6F4595D-C849-4964-9E9E-F4AAEF77508F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd18ca238fb48bcf22ca6b6a79c4f742c4f38925","datavalue":{"value":{"entity-type":"item","numeric-id":4288891,"id":"Q4288891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$EB4E629B-C981-45E0-A47D-6553FF91D84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c87b7f1b27f4c02036e93813c2965b594547e3","datavalue":{"value":{"entity-type":"item","numeric-id":1202197,"id":"Q1202197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$4B64D429-0499-4467-B22B-E3C755533991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f823da39882c760e5cb7d4936cb8c91476279cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1095135,"id":"Q1095135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$48D0E551-D067-442B-8FCB-AB02BD8A18C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caba0538ebe31b5e55a8f229a45c19c26bda2649","datavalue":{"value":{"entity-type":"item","numeric-id":2638642,"id":"Q2638642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$E51B2F12-DFA3-4C22-87F9-8074AF72EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$95A74DA0-DDC0-4DA3-A9A6-29BA61D8DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adf3e5113408560e2a69d94ccc6c85e42dd3bb3","datavalue":{"value":{"entity-type":"item","numeric-id":1105605,"id":"Q1105605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$899CDB6D-813C-430C-8FD1-CB72B72A7332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ba489b6a3d88d2d9d682a4febbd386ad4ae23b","datavalue":{"value":{"entity-type":"item","numeric-id":1103939,"id":"Q1103939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$D8288723-9BC1-4527-9BED-0D1BA3BA04B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e52a7c8e4989af74d28fd62bd31597b02b39d0","datavalue":{"value":{"entity-type":"item","numeric-id":3753986,"id":"Q3753986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$E1C0BA54-F75D-40AC-AA4B-AB0C56E34EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59e7de91910f39abd71bad6025c0314db20edb4","datavalue":{"value":{"entity-type":"item","numeric-id":773288,"id":"Q773288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$A352F67E-4F7B-4DD4-9ABF-EA4BB126E9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$351C37BA-CCB7-4716-A448-9EDC81E430A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a90c73bcf65723c5caa489891ceb2b9a228fc41","datavalue":{"value":{"entity-type":"item","numeric-id":4046051,"id":"Q4046051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$9072132E-AA38-4CE2-B45E-A0998FDA0512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18172e9af6b821b44c5daf17d6c84741627f8348","datavalue":{"value":{"entity-type":"item","numeric-id":2645775,"id":"Q2645775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$665B10D4-BAB8-4135-88EA-F42D05018D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c17e9582b013897935f16395d052797859e581","datavalue":{"value":{"entity-type":"item","numeric-id":2647861,"id":"Q2647861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$D753F596-E373-48BB-9F0A-FBACE04604C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f7ec931168e4dd9eaa62f72639c99b4c21ef47","datavalue":{"value":{"entity-type":"item","numeric-id":5616724,"id":"Q5616724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$F6F50EC0-3436-45EB-AA9C-45F25669544A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f1dfc3989a21642c612915ed525160947133c9","datavalue":{"value":{"entity-type":"item","numeric-id":1092045,"id":"Q1092045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$A304E76A-40FE-4AD1-AFD5-0B71B9AAB3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b9e7952fcefc3b2bedd4a47bf6643f0eb3547a","datavalue":{"value":{"entity-type":"item","numeric-id":788742,"id":"Q788742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$037EB3E8-013B-469A-A8F4-F7EB9D4F08B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56c4ad1e0c8f81c5cc3c0ccf22d50c8a6ae0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4288886,"id":"Q4288886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$85D47A2D-6646-498E-919F-0FCD7A0CC8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab109aff41e40d68910d72146e4e0627a15a5d2","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$307D8D63-FA9D-407A-9EEC-B147A5EF4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc5883ff7732448378e36bbf357740f04854001","datavalue":{"value":{"entity-type":"item","numeric-id":5849242,"id":"Q5849242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$C31086D3-865A-4F2B-9A64-FA161A9BB54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff90b53746deaf40f0bd975035788d645dc76ab","datavalue":{"value":{"entity-type":"item","numeric-id":5682013,"id":"Q5682013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$D89FF32A-1BB4-45BE-8901-680355B7E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ff8a8b6461b3340c5a60b61efd3ebabf4101c6","datavalue":{"value":{"entity-type":"item","numeric-id":771155,"id":"Q771155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$258C800A-7694-4FA8-8A32-F348F6B971F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce638c8ee70eef2a257dc93dc004027d5e189eec","datavalue":{"value":{"entity-type":"item","numeric-id":583255,"id":"Q583255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$62F519BF-6C37-45CE-B884-61684BFD0AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce553c7842f1b63d231c944f4632d98f29fafb26","datavalue":{"value":{"entity-type":"item","numeric-id":3995745,"id":"Q3995745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$4660668E-E6B3-4A47-9C32-024BCA76045A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ed22ac66e586debe70db1cf9d487249bc6e1a8","datavalue":{"value":{"entity-type":"item","numeric-id":4697808,"id":"Q4697808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372920$99C21848-997A-4508-99FC-9916CF960C2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000f7e8b9820f42276c9ce009abf70cf5bfc731e","datavalue":{"value":{"entity-type":"item","numeric-id":4283251,"id":"Q4283251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b5718027b204f76f48cae8b0be23e000babfde","datavalue":{"value":{"amount":"+0.8328533172607422","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":"Q4372920$2682461C-B25E-400C-93B9-FCFDD01F2831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05dc9b9f38a32c3d45fbd103bfbb180c25538b7f","datavalue":{"value":{"entity-type":"item","numeric-id":2638642,"id":"Q2638642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86691b9846d9de6e8661b0459f2afaca34b05afc","datavalue":{"value":{"amount":"+0.8062436580657959","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":"Q4372920$69F574D1-621D-4C36-B11B-9DDD3D9C76AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868726621971f6a04a3f46f8d5c400cc3abc1a0c","datavalue":{"value":{"entity-type":"item","numeric-id":3718693,"id":"Q3718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a070ecec29527e48c61e2f1cd442fd5fd02b197","datavalue":{"value":{"amount":"+0.7920774221420288","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":"Q4372920$386C4656-AD5C-44A8-80EE-C055ACF514E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bf9fc80f456f6c29aa0129345a900fb6507c96","datavalue":{"value":{"entity-type":"item","numeric-id":1066878,"id":"Q1066878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252b6a7cf8d1d08404c9e126326ee59b956dcd2b","datavalue":{"value":{"amount":"+0.7896047830581665","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":"Q4372920$76C683D8-5A46-44B6-BE28-A5EC41832D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9419823b67c1413400803696e6b5c6cada6e66","datavalue":{"value":{"entity-type":"item","numeric-id":3760518,"id":"Q3760518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2d638f6c7716ac2b106a4091fe51c668022248","datavalue":{"value":{"amount":"+0.7760665416717529","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":"Q4372920$6F10FF1D-6DA7-48D9-9944-929E8452CC31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_finite_models"}}}}}