{"entities":{"Q4251063":{"pageid":6280664,"ns":120,"title":"Item:Q4251063","lastrevid":46832913,"modified":"2025-12-25T16:43:40Z","type":"item","id":"Q4251063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304332"}},"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":"Q4251063$E5526E95-461C-48F4-80EB-0172974AC130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"554b7d5ea79e4ea9ab9d4af1ef34143c600178ce","datavalue":{"value":"0924.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$D6A2E36E-B5BC-44F7-A2BF-DADE4D274017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251063$08D60B1D-23BB-49BB-A97E-DCDE03792991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251063$8F85E2E5-A6F2-4275-8672-AD3F90E298E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20dd4a1895cf18dde61efc77672cfcc1d29fef9","datavalue":{"value":{"time":"+1999-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251063$D268F779-D2DD-4F00-873C-E99875B0FABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$DF0FF382-2D0B-4885-BA36-F498847C025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$F8404CD8-0DAE-4F21-BB00-3080FC43A0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$2AB73930-3AD1-4810-B51A-3A99A661EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$55BE75D7-EAEE-460F-97FC-D9ED966CBA75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89503997e344cdfd8b19f7fb4417874cd36068fb","datavalue":{"value":"1304332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251063$B0DCD982-721E-48F3-B318-EED4E3F036F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5331806f47ef788155a536c05938b2b6808fe3","datavalue":{"value":"specification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$41E0898E-759E-428E-844F-6C9BFFE53F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$23196A6E-C286-44F6-8AA0-548858698F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbde10cedceda0239ed20089b2b6fe36027298c8","datavalue":{"value":"alternation-free \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$D3332014-29A3-4814-A354-1708EC0251B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$2E0AFD6F-0F6A-43A5-8D87-B6145D55B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3606405fd6f5508b70890f2457f2a44e6a988732","datavalue":{"value":"nondeterministic B\u00fcchi tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$B9509987-F19B-4515-846E-94F60D6116F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b42ad1c46adcda0d8886ff45f924fe07868c6edb","datavalue":{"value":"weak alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$8CBDDA74-3560-4EE6-B4F6-3E97EA01F5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43838050764ebb7761be71e45395b1ca778ba7a7","datavalue":{"value":"efficient symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251063$E2B8BD81-E1EB-47DA-870E-7494F10C0D69","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":"Q4251063$5B873B02-E93F-4A1E-85E0-414072F82EAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ac9c4a8aea564144b4a9552b4ef2f023cc93be","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b04b594c5ce7dc7710f791f81592682891c5fb","datavalue":{"value":{"amount":"+0.8242683410644531","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":"Q4251063$581EFF66-D257-44D6-880C-27286BC2704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c54255d7b754f16f2cd55ef3ae4d99fee353c8","datavalue":{"value":{"amount":"+0.8069266676902771","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":"Q4251063$C6CB78CF-5EDD-4C36-B20D-F36576A81E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0ce7f36aa1d79a2a7961db890fb0f9f8724f11","datavalue":{"value":{"amount":"+0.8002320528030396","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":"Q4251063$F39075D6-4C1D-4E43-B7F9-B9423322993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820e70d404e4a515b10ee55eb13b7b48df6d220","datavalue":{"value":{"entity-type":"item","numeric-id":5121266,"id":"Q5121266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10c57d3f689c1dc135feed1280231aaa2b9c987","datavalue":{"value":{"amount":"+0.7797614932060242","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":"Q4251063$24F5E44E-6D6A-4A72-8BB7-DFBD78353858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067081d76927d979a5e039d672897139e96d4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4449213,"id":"Q4449213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094a82b94fcc40009e5873fd82d1222d5abf94e3","datavalue":{"value":{"amount":"+0.7763294577598572","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":"Q4251063$1AC49BD3-40BB-4EE7-85EC-48C944A200F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251063","badges":[]}}}}}