{"entities":{"Q4938419":{"pageid":6968001,"ns":120,"title":"Item:Q4938419","lastrevid":47446183,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938419","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405445"}},"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":"Q4938419$6D9A51DF-C1C6-4056-8D5A-0742487946FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d45cd6db4b1ec132a8e094cff01a9671cd8642","datavalue":{"value":"0938.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$FA4BF0F0-370B-40E2-926F-943F5658603F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938419$7A03D651-6BE6-4F48-903A-D566D825453E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e01016a5aa1fdc00855be84e2d8c96709b2787ec","datavalue":{"value":{"time":"+2000-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938419$74C9F033-2274-4D86-85E7-D18C312D49DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$B179169E-F695-4244-B5C9-3102DA3A4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$CE6FAB91-C6F2-40BB-8279-AC03F792DA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$B15B227A-86EC-4F74-ACB6-18E490C8673A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$8A244BD4-7251-43A6-BFF7-1C39B1588E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$6C18F945-663B-4776-85E1-C3B3416C5CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df2532b13a25513cca31231682936b65577590bd","datavalue":{"value":"1405445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938419$A524049E-9A48-4DA0-A3D4-E81A09C918F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938419$00835757-2A64-4F74-B5A1-142669D901FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca39022e53ab07245e42b35d8edf0334cb44533f","datavalue":{"value":"alternating B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938419$37110703-8E31-40F1-AA94-2759BE51DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbde10cedceda0239ed20089b2b6fe36027298c8","datavalue":{"value":"alternation-free \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938419$AFA59889-8B7B-4229-8A55-561ACED2D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf48c339ca550207a95a6582ef8e75c1952be670","datavalue":{"value":"model checking game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938419$2CCE73D7-C08D-4B4D-BDD4-B614B5887150","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":"Q4938419$E9BD16E8-312F-4E21-9366-7519A0867A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ad5e3028ce8aa83de8da67e00fafad4ca96583","datavalue":{"value":{"amount":"+0.796374499797821","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":"Q4938419$D6F4932E-569E-43E8-A9A7-7A2945FEE80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ea174c4f8fc610217620bf717a4bfd3b3527ee","datavalue":{"value":{"entity-type":"item","numeric-id":2814623,"id":"Q2814623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db72b3e061b4e8e566f3aa1a31d3513252083e10","datavalue":{"value":{"amount":"+0.7920060157775879","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":"Q4938419$12F08F99-96D7-41E3-BAD5-F98A7A11B64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1124cad81cb9fc1c2f8110e0c2124d857baf5da6","datavalue":{"value":{"amount":"+0.7893132567405701","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":"Q4938419$F326D54A-965B-409B-A90D-5E8F5B9E39F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64399b0bf5dd74e68efb5cad3ea1bb72e9e83d33","datavalue":{"value":{"entity-type":"item","numeric-id":414899,"id":"Q414899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f067b384ea6e3344bbfcee2448df18575a3f4d9","datavalue":{"value":{"amount":"+0.7774286866188049","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":"Q4938419$D58F1AF3-EAF8-4DE9-8606-E30D95E3642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01c9dc1cf7f2f006cd2bfab3f4524651b276ebf","datavalue":{"value":{"amount":"+0.7737053632736206","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":"Q4938419$6ED58902-794B-4288-B8AF-D83E6133346F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938419"}}}}}