{"entities":{"Q4251069":{"pageid":6280670,"ns":120,"title":"Item:Q4251069","lastrevid":46830213,"modified":"2025-12-25T16:35:13Z","type":"item","id":"Q4251069","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304338"}},"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":"Q4251069$6B8C35A7-B903-4477-AF63-5D4C99B9382C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c00583897dceba95bbbe1e2a46659923398e082","datavalue":{"value":"0924.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251069$E4561BD8-CD7A-4D94-B11E-B5B661ABC2AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251069$D0A8E365-400F-4BE4-B7C7-5E25CC6F34B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-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":"Q4251069$2814C6BD-A9F6-4360-ADBB-335B7A5DD2B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251069$5D8B719D-71FD-4645-B17B-C1F418A36081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251069$F30CD4C5-29BE-4E7D-A908-B3EDDBEAB43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251069$EFCA1AC1-A72E-455B-A751-AFC55F3279B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eed5ce641027e6ed0e101a272921e4bfaf328dac","datavalue":{"value":"1304338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251069$DA50FD02-F3DC-44A3-915F-A16A52475487","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$9602A9DA-4076-41A9-860B-C5A28223D0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$3724785F-1F4E-4977-8738-734B8374F976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$D738901B-BCFC-41A6-B911-47CE2A026081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31673168211857a4ddec13706d6f8be2a12b0f72","datavalue":{"value":"monadic second-order theory of the complete binary tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$E5A5B095-821A-47E1-B124-FF357FAC86BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$21487267-1737-44D8-A6A2-D0B5E07A7339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9257bc649e616c7a622d647b3b4ade6b31070aeb","datavalue":{"value":"exponential time decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251069$2A106A41-D780-4DED-A568-E0639947D242","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":"Q4251069$007CFCB5-BCD3-44DE-831A-E5CF09CCCA0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5076d1a5c868fbc90ea0c3dfbb561a83dfb0f297","datavalue":{"value":{"entity-type":"item","numeric-id":4415259,"id":"Q4415259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1d6336fe18be723eeb6b0b40ca7211c772f8f8","datavalue":{"value":{"amount":"+0.8194817304611206","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":"Q4251069$315B4B88-5636-4E9B-B886-C9EE796D15D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9846992fd9e073c8a91d8cba6e8e49f07e7595","datavalue":{"value":{"amount":"+0.8169981241226196","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":"Q4251069$58460482-E0DA-47E3-99C4-796913D5A55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0105ab2f248772ab826f970804096a14cd317c61","datavalue":{"value":{"amount":"+0.7922337651252747","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":"Q4251069$A419203F-7429-4B51-8B56-24DCB8A308C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48727c5ca4da87a707eb153321cfaf242d6e532d","datavalue":{"value":{"amount":"+0.7917947769165039","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":"Q4251069$B0CF9DF9-2FA0-411B-8F01-11EF2E2B4F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251069"}}}}}