{"entities":{"Q5506391":{"pageid":7535951,"ns":120,"title":"Item:Q5506391","lastrevid":41895361,"modified":"2025-05-09T12:43:50Z","type":"item","id":"Q5506391","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499373"}},"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":"Q5506391$C3CB3CC5-6180-4BC7-BF52-2AF2CAC79D42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"434bfd592e48f3623c78794f8c012ec7a69c744a","datavalue":{"value":"1167.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506391$FB4F0A1C-224D-4B9D-8BB1-345D1C4DECF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506391$A517180C-2EED-4412-A40B-DA60CDE297D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506391$B3D73ED8-9B32-459C-9099-FB728CD492EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5506391$03F3845E-4D33-4B8F-B299-083D01210429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506391$507E7B14-BC6C-4D12-955D-291F8877F998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d9706378080368cde971e2663ad3868a36ac90","datavalue":{"value":"5499373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506391$34BF47CA-7CD3-4C7C-ABB2-C2918FC5B8BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"096856056e431470b0f54fe321db81a34dda00a8","datavalue":{"value":"automated verification of timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506391$4FFB26ED-E5A7-4530-8244-30421904133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167c814583d2356d3d54e1fc563ce29db0ba6a55","datavalue":{"value":"timed automata with discrete data model of Java programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506391$3D87F5C1-2BD6-4CDD-803F-C9FAE4E0BB05","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":"Q5506391$E37F28E4-4131-4620-9D19-E5531EEEF136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c0a1a9d6f57e37092ae2b7faf7e131be6c69e8","datavalue":{"value":{"amount":"+0.92682195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$27109EE1-D611-4F99-ACF5-92BADAB2CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68bc0c6cc4965d32c7db8d601632ac735d4c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e851098410b4a56ba0d16d860eb662cd9372a8","datavalue":{"value":{"amount":"+0.9265351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$EE47C30C-AF0A-4FEE-989B-87C3A530B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870c2e03a38995fe33f258545bf679f624998186","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b2ea18c72dba135082673216aaff2ed78cb5e4","datavalue":{"value":{"amount":"+0.92260253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$B95D8DBE-5537-430B-B3FE-BE705DFFF1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cea667a456053026adcf9b6b53b5f926e9192fe","datavalue":{"value":{"amount":"+0.91257745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$81352BC8-720F-4553-AFAF-6485089913A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f93f10ee2c56cf022edce6ad59d4565866a5891","datavalue":{"value":{"amount":"+0.9103745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$15C1FB85-C1D9-44D1-9084-457B7D02A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb9215e52f3915ac4a21cd6de68357f55b79d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f250f417e937f1c1cd37322f6ff36bd5c9af9e","datavalue":{"value":{"amount":"+0.90550256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5506391$5504074D-EC78-4A5C-92D0-76880A2DCED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5506391","badges":[]}}}}}