{"entities":{"Q2164241":{"pageid":2174984,"ns":120,"title":"Item:Q2164241","lastrevid":82570673,"modified":"2026-05-06T21:13:15Z","type":"item","id":"Q2164241","labels":{"en":{"language":"en","value":"Model counting for recursively-defined strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571387"}},"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":"Q2164241$EFCC87A5-90AC-44F5-A6A7-B74A45982F52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c9d92fe206e00d9ccf4b8e7b261b14c04121a79","datavalue":{"value":{"text":"Model counting for recursively-defined strings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164241$9494254D-A89B-4B67-A924-76444CFAF2DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"073e4afb32a052339a5d90f9d0cff65cd9e5db9f","datavalue":{"value":"1495.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$E52D9214-0664-4735-A836-19E86BD4A626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab7f84b00186eba74099776bd1435a63d8689c7d","datavalue":{"value":"10.1007/978-3-319-63390-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$590440B0-695A-4265-B75B-21A62FC7EF10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c77ee5aa574f5abaa1a0e4de9b38f7c7575e0a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2164239,"id":"Q2164239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164241$74632031-BC6E-42F3-A005-E5359414AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0647c4ca3f346e33f98595cef6bdddb7772bb6d2","datavalue":{"value":{"entity-type":"item","numeric-id":2164240,"id":"Q2164240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164241$9ABA97B7-2207-4DFD-9AEB-FF2EF2B86B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164241$F07893F9-2CBC-470B-B4E1-EBC681FA012D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2164241$6C9890F0-6EBF-47EA-AFF4-CF4C0A0CFABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$A3810A39-4D12-4E31-8675-ED3F879235C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$0B3B6B8B-E1A2-4033-9A91-CB471D1D1829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$911765A3-3964-42FE-B263-45C2213FA30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$5F8D294F-BB37-47C4-A0B9-78812B9BC3A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a64f59a034cb5d2f59131200116ce4061ae8e74","datavalue":{"value":"7571387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$39D169EC-7EB9-4784-8A99-6C54B3630337","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":"Q2164241$D3A7B0B6-ADFA-43AC-8839-F227062594C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"969335bab8b81335e558937b893f2532b633ca64","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63390-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164241$8B6A0EAB-CD11-4B7F-BAB3-5A6E293F7343","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"594c32e75c2a24fa9019b35f367621b0cebb6044","datavalue":{"value":"W2735407609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164241$D76736B1-3449-4FFC-BEE2-D1A1F37FB31D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cadd85731417f87ca499bcee835b6100c251ac54","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61ceca21f7a513a8920935f6a86736e56d0664f","datavalue":{"value":{"amount":"+0.7709857225418091","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":"Q2164241$EDEB7163-2B2A-4EC7-ADB9-4F86280AC039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afec4da1eb3d298dac1b51ce8a59f4682b087a16","datavalue":{"value":{"entity-type":"item","numeric-id":4633536,"id":"Q4633536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62a8a23d366e0d73da69ea74a67bf0ecc6ca0d6","datavalue":{"value":{"amount":"+0.7652455568313599","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":"Q2164241$26B849B2-E86E-4893-96E8-3FBD870A9800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8628230e9968e8b1adf517274b9282291ad394b4","datavalue":{"value":{"amount":"+0.7280839085578918","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":"Q2164241$56D55BED-9A96-4433-A057-ED7A311EC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5199b12ab148bfc2821e03ec87a2fda69fd8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1799093,"id":"Q1799093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2928c9b2413c1850a1d28944b92525e8cdcc6f59","datavalue":{"value":{"amount":"+0.7219591736793518","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":"Q2164241$6B6D1235-6D47-49A8-8288-DFD052DF04BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc2300bbe98d6620d4435f5154579c607f750ce","datavalue":{"value":{"amount":"+0.7174607515335083","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":"Q2164241$3E2BD487-791B-4529-A612-84050E8BA571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model counting for recursively-defined strings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_counting_for_recursively-defined_strings"}}}}}