{"entities":{"Q4263155":{"pageid":6292756,"ns":120,"title":"Item:Q4263155","lastrevid":46667142,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263155","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341606"}},"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":"Q4263155$9937F80F-89C2-4149-902C-94BAA8112932","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb08bc6e691ef2f2c241fbad1bbd3a1de257be9c","datavalue":{"value":"0937.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263155$0A717FD7-7C02-4A95-912D-1E8E84E2572D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263155$8451D941-D657-432F-B3F1-434737380A66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263155$83602737-E571-4384-A270-2CAC6E6FCC54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263155$DCDD1EDB-E63E-46D1-A477-B530ADBF332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263155$820CEAF9-93A4-4CB0-9674-0097F156326E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b68c44e8af8cfae09544f62935b2dcec6d30a8d","datavalue":{"value":"1341606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263155$097CBD51-4777-4410-89CD-A2D25EE21E1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fadeb303585ca123830aa0297bf6032fec1818b","datavalue":{"value":"guarded logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$FFEE83D4-E668-4392-8562-709D398EB38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$89FF759D-D062-491C-A403-953618FEFD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601915b635c95480c342de6ddd5519013b1fc24b","datavalue":{"value":"guarded fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$F4C94D56-6182-456B-801B-FE861F5A19F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d0a8093d2904dacd96c82ff8ec5c2774df3feb","datavalue":{"value":"tree model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$028CA18E-271E-4798-ADA4-B51B1161FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b9b47e1c799626a3babe52b2841683f2381afd","datavalue":{"value":"monadic theory of countable trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$5DBF9965-BF88-4A35-B224-D9AE75348E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$915D2802-BD7C-48D4-8058-EB2B56FF56A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3105d75579a19989eceb507493225eec7a0b2ed","datavalue":{"value":"automata-theoretic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263155$43F98D1E-4815-4DB8-ACF8-355578591CBE","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":"Q4263155$A9E2E29C-FFFE-4C1B-8F37-32D01CB95B57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bbc17970e1963533978cc45991907c65bf9787","datavalue":{"value":{"amount":"+0.9268904328346252","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":"Q4263155$245C654B-6AF3-4CDC-B96A-3E0C0CD1432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35823b869801ae8c08f5e8e0761bc5c949639379","datavalue":{"value":{"entity-type":"item","numeric-id":4249898,"id":"Q4249898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4cf4b9961067975468ee2dbc6f6d4b3afdfe6f5","datavalue":{"value":{"amount":"+0.8229166865348816","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":"Q4263155$0DBD1173-0563-418C-9390-8A8C90054F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38908310ed9c4c5f698846dd6ec487cc46c6a70d","datavalue":{"value":{"entity-type":"item","numeric-id":4635946,"id":"Q4635946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4423638f515558fc334df4af1631d9677b3ee865","datavalue":{"value":{"amount":"+0.8228466510772705","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":"Q4263155$9BAB079C-FE2B-4BFC-91BA-992892B7E9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb39063ece4676791c62b9491fa7869a2ac4869","datavalue":{"value":{"entity-type":"item","numeric-id":4635812,"id":"Q4635812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c64c1fb8d916989a3968b09fa4e9dad2e79d30","datavalue":{"value":{"amount":"+0.8220949172973633","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":"Q4263155$03CE55C1-DDF9-4F22-BAD7-7C89EDC937B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263155"}}}}}