{"entities":{"Q5314464":{"pageid":7344038,"ns":120,"title":"Item:Q5314464","lastrevid":48543505,"modified":"2026-01-05T04:16:38Z","type":"item","id":"Q5314464","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2202252"}},"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":"Q5314464$26354C1A-A080-40C2-9D87-0187F21E3708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11096147c16281902062bf0906e14ca65c38991b","datavalue":{"value":"1074.68524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5314464$F219AB27-B203-41D0-8261-2196522C8F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008098fecca008b1ada01d49f31ae5cfc2496c2","datavalue":{"value":{"entity-type":"item","numeric-id":364435,"id":"Q364435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5314464$690F7E59-740E-4D8D-90E1-D67F167E9B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a91c75bfbf8fcb8da674616d092a6daa3527d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5314463,"id":"Q5314463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5314464$524EE919-6750-4BCD-A085-30E7977BE4DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aea455d031be8bdd9d47386b3410a64e3b4a29f6","datavalue":{"value":{"time":"+2005-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5314464$B7B1E9FD-19AC-4C1E-A00B-26B58BC87A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5314464$5B831729-AEAB-42E6-AD6E-E942BE3C2EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5314464$43EA2995-F55D-4BB9-A94B-AC874DB12A02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09c0fa2962fb2e5668528ad6f84edb319d0cee3d","datavalue":{"value":"2202252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5314464$4249745C-F989-4D78-8A81-8884960E0F08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8af41e9c11fb36e87e205c27fa49c8bed0db91b","datavalue":{"value":"message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5314464$C55BC2E6-2D41-4C03-B8CE-1AAF93D35E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5314464$1808C1CB-5A76-402B-B640-9B3BAEA9B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5314464$4A3EED3D-F28D-4EDA-803A-687B6D694284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5314464$77184309-3B5A-404A-A45E-89651FFDD058","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":"Q5314464$CED853D1-0BB7-4340-B7CC-4D9C970E2CA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652da2bc90612a531e2fe40a5126610d6cd8a5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5464480,"id":"Q5464480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84adcb95aadaf720e65e7fb9fb9312fc363810a0","datavalue":{"value":{"amount":"+0.76682049036026","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":"Q5314464$6BA3B2D2-A661-4E9C-9DBD-0A8432255E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb2d66758ce81adc8699e5448e16650f219ce52","datavalue":{"value":{"entity-type":"item","numeric-id":2754062,"id":"Q2754062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0320e6e4ae8efdbcb0aa9033968175f8b14f900d","datavalue":{"value":{"amount":"+0.7573694586753845","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":"Q5314464$B3D98530-25D3-4584-9FBF-E5D40D161CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd192d24e406f15e280fc135497cfe1a8ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":3455541,"id":"Q3455541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a71d97781bb463078ca9240aa6a75c1917b2966","datavalue":{"value":{"amount":"+0.7447894215583801","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":"Q5314464$4DCEBA06-3008-42F6-9636-13D0BBC41797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b17b47bcd3c5985d966f6f6c1865e773afeb06d","datavalue":{"value":{"entity-type":"item","numeric-id":324632,"id":"Q324632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fe00d844bee3a3ca824f5daf4fd42d3471185e","datavalue":{"value":{"amount":"+0.7437944412231445","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":"Q5314464$4E88539E-28F2-4609-B63A-FDC4C82F9DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4f1c19ca2db14018f195d8e44bc7727b68d02","datavalue":{"value":{"entity-type":"item","numeric-id":3111974,"id":"Q3111974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001dcb4e0fbfb2bc33d0b46b17627054a7a28b14","datavalue":{"value":{"amount":"+0.7385547757148743","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":"Q5314464$3037F30A-7190-407C-A846-0979E777D558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5314464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5314464"}}}}}