{"entities":{"Q1853615":{"pageid":1864357,"ns":120,"title":"Item:Q1853615","lastrevid":74352897,"modified":"2026-04-14T19:41:36Z","type":"item","id":"Q1853615","labels":{"en":{"language":"en","value":"On infinite transition graphs having a decidable monadic theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857132"}},"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":"Q1853615$8F18DAFA-E33D-42D6-B54F-0A805FCA8411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4886f69dfa3167866266e12240d882188ed974","datavalue":{"value":{"text":"On infinite transition graphs having a decidable monadic theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853615$35A6F6CE-1B68-4E86-BAA8-11F22CC0FEEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b21625e6d9e95b5b675ed15ae3ce41730dc4fa","datavalue":{"value":"1019.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853615$17941062-7796-4234-99D5-45B811EC246E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09da8dc556831755264c45edd85c20b2484fa1c6","datavalue":{"value":"10.1016/S0304-3975(01)00089-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853615$DC02FA2E-4D3E-48DC-B857-57DFB0FB9902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80bd59cd009842eaf1c170b649eeda5dece3b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":685353,"id":"Q685353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$E107E0B6-0A15-4030-89F5-4997E519EF46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$CB9321AA-49D7-462F-A8F6-8A71340EDB81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853615$3CD4405B-1B94-423A-8A1F-16420CE19044","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853615$A9400388-159D-4D6E-8188-8F058D952393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853615$FE07CB2E-C0CE-46B7-B274-2186A65B2A8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75f4bb2f1ece874490c2487072f40c52f0b16027","datavalue":{"value":"1857132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853615$00C58F59-FB39-4A6F-8686-E07EC22F8AC5","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":"Q1853615$7B7FB8B7-24BC-41DF-9995-918DC351B854","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08341059441af41c6921638de5b990f0ab22c6e3","datavalue":{"value":{"entity-type":"item","numeric-id":3907107,"id":"Q3907107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$B1EDEB2F-71C4-4392-8667-819B0346BA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6473c3e86b72de5065fa5f2153919d4fac2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$A92F1630-4658-4AC4-9EAA-13AF952672D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc84eeac678e263c546f9daeb170edba9de98a1","datavalue":{"value":{"entity-type":"item","numeric-id":4027621,"id":"Q4027621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$7356BAD8-DDB0-4EA8-A760-4EDEE9630744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$94ECA3BC-622B-4E18-9378-28111BC48B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$AE40E8A0-7381-45BF-AE58-64E507457904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300c9d4d5bc271fc9055e643f0b1de194ae44b3d","datavalue":{"value":{"entity-type":"item","numeric-id":1295371,"id":"Q1295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$289B041C-008A-40C0-B7D3-F4C80881C0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$6560A5A5-6E78-41DF-A30C-E63FF57ACE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$997B5A12-E899-4851-B645-0D4D785886BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$94ABA74B-CC71-4C35-B2BA-3CBB393D137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$CFB8EF85-B99A-4DA5-B678-4A1C5C5762DA","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":"Q1853615$B04E6258-6EF6-430F-BF2D-3C98F709B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$6D7B7068-2ABF-4364-9539-400E1BB8E2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$287D60FF-B184-40DA-8E41-029FB996BF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cc40e6e5f744906423fe33a655fc94566a7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4529998,"id":"Q4529998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853615$2AC2419D-EF14-4F0B-BB9A-5ADC534727FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf19450b8e83b3e484f008b77185c796427475c3","datavalue":{"value":{"entity-type":"item","numeric-id":4818835,"id":"Q4818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q1853615$F21C4938-664B-43F0-AA53-17831416CE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ea2cdf3fff99278976e36fe185bb7440400851","datavalue":{"value":{"entity-type":"item","numeric-id":4708567,"id":"Q4708567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e0c66eb7f953335b147d6ec7f686e2c8f42665","datavalue":{"value":{"amount":"+0.9285605","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":"Q1853615$B9EC0067-D5A9-4578-94F2-540251870F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f260ba823a10e882882176f1e821c806ea20936b","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ef6a0dc0eb585de896469d96f745740ee6d28c","datavalue":{"value":{"amount":"+0.91618896","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":"Q1853615$89B48175-7E6A-4315-8679-4BFE3210034D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914ec896ea7cc02c97f9b1a1fe76624b1e01e085","datavalue":{"value":{"entity-type":"item","numeric-id":2892678,"id":"Q2892678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e895975ee428e08e13fcd8fabe732ee26f95cc0f","datavalue":{"value":{"amount":"+0.8926466","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":"Q1853615$AEA52891-E3EF-4303-9E98-727E9AC2DC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf47cbb470274af9aa33e3c7d13f279a7e6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314a8d4555927eebefa299e1e7bf66db4d46bf2f","datavalue":{"value":{"amount":"+0.88527906","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":"Q1853615$EB6D38E4-DDBF-47E2-9FD8-C0647D0A8896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a436e31730e869a2b798ebd987a75dfedf360313","datavalue":{"value":{"entity-type":"item","numeric-id":4503965,"id":"Q4503965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de204c0af5fd6bc8ae3e3e45d7f8c98d5e10492","datavalue":{"value":{"amount":"+0.8844707","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":"Q1853615$62EC6F23-BCAF-413D-B462-836210CE9E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2d1acc7a302c860ad91f4a970563272e61474b","datavalue":{"value":{"entity-type":"item","numeric-id":5431297,"id":"Q5431297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b897948983dbba23a2680a7c6525e4c134dc7d","datavalue":{"value":{"amount":"+0.8820721","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":"Q1853615$AC01AAD9-61C5-4A97-880D-B181D229744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b72cdfe8b5111c2cf6f1728198b2c88193579c","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d72094a54a12c82ca2bee0139969351c3469da4","datavalue":{"value":{"amount":"+0.88082314","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":"Q1853615$52184C5B-30E4-4300-9360-4A556848619A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f2726b48d35a167ced07a58d1c83feb67ce9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4585066,"id":"Q4585066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af991a00b736dc218ab5b79ef3fc8e94de85a9be","datavalue":{"value":{"amount":"+0.8747233","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":"Q1853615$94B6803E-BE30-4501-8594-10BD099B6E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29840667f1c888c95f150968b0210085bf34db0e","datavalue":{"value":{"entity-type":"item","numeric-id":5351975,"id":"Q5351975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af991a00b736dc218ab5b79ef3fc8e94de85a9be","datavalue":{"value":{"amount":"+0.8747233","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":"Q1853615$BD30E156-8AAF-4742-9ACF-979E8DC5FEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On infinite transition graphs having a decidable monadic theory","badges":[]}}}}}