{"entities":{"Q3618577":{"pageid":5648483,"ns":120,"title":"Item:Q3618577","lastrevid":49698439,"modified":"2026-01-09T04:40:03Z","type":"item","id":"Q3618577","labels":{"en":{"language":"en","value":"Refinement and Consistency of Timed Modal Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5538841"}},"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":"Q3618577$2B6A1A74-3A79-41FD-9C17-BCFF1E101885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14eb956938b5d9485281bad7cb606b975efe0a4c","datavalue":{"value":{"text":"Refinement and Consistency of Timed Modal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618577$1D01424F-6CA1-42F8-ABE6-C75E8ED32C1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38e4873cfa25f7dadfc6ea4693bff67e54681a9a","datavalue":{"value":"1234.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$C7C957EC-8007-46EE-93F6-52C89C219ABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"856150dad99e981bb922e66eb3aab4a97b7e366d","datavalue":{"value":"10.1007/978-3-642-00982-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$E0CC235D-8E9D-4CC1-975C-9BCFE28A3355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$9EF91E9A-D2F3-4BD1-A87F-7467D99DAA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$1D2BC8D5-3BD1-4A5F-9919-2FD8B1606E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2d175a48aa9c45f7e3ce2a18a3de1f29f3e61fa","datavalue":{"value":{"entity-type":"item","numeric-id":1951602,"id":"Q1951602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$F47C666D-10E0-4D8C-BAAE-BFC4EAE19554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$E803C8B9-4741-4943-A1FF-DD5005158FD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618577$5CA35761-9BD4-4250-AF81-C8D431F07D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$B21F5A51-170E-470A-BB91-2A4F2BA897A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$FC82966D-EDF5-4371-AFBE-15DFE793B6B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8675c11ed9a4d48809f62d6f36af31e74e34948b","datavalue":{"value":"5538841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$947E99B8-9E34-4542-BEBD-6C19B613C0C2","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":"Q3618577$CCC116C7-2985-4A8C-9E29-7AAD011F3815","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d02825ba0d164cf7893752f110c06c7791a5fb13","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00982-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618577$A08EE0C3-5EB0-4637-9797-B92E18A59B91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61cf1e5ad805495761ae3416460846e697c37045","datavalue":{"value":"W2149480831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618577$5E065481-59DF-4599-9994-CFD6B6636325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$672B09B6-36BA-4CA1-B797-3C3EF8305195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$641E9272-7BE7-4FA3-A877-2FD6DC89015B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ba1e452efdf2a13c2fd0b50268b1e02d16eef5","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$10B9A93A-73E2-4236-81F2-C06C12869B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0e24fd9d86567ce3482ecbed81b082643d345b","datavalue":{"value":{"entity-type":"item","numeric-id":4439564,"id":"Q4439564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618577$5AEF735E-F29B-48A0-9F50-6BE7ADF081AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3e13d891a32906b4fb715ba55906b39a523063","datavalue":{"value":{"entity-type":"item","numeric-id":4992525,"id":"Q4992525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91229dd414371e5a84810922213cafb4824a1e68","datavalue":{"value":{"amount":"+0.885224","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":"Q3618577$0AE6511B-F52A-471E-8DCA-881D3EAFC994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68420e4dca69df39ff7563886ff7a30c2ea2e415","datavalue":{"value":{"amount":"+0.88105637","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":"Q3618577$242207BA-C89F-4200-8020-2F0FBC9015EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a7c95ac202bc12a90f416c48a3987a57745290","datavalue":{"value":{"amount":"+0.8783418","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":"Q3618577$CCE848E7-041A-45F5-AD93-83629E5FDE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a2d919e61b5868396aa0a337ab45e0ed312249","datavalue":{"value":{"entity-type":"item","numeric-id":1951603,"id":"Q1951603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf39f9aaf767d6638bf2fcd2d8ae3fb5551eec1a","datavalue":{"value":{"amount":"+0.8761951","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":"Q3618577$8364D4C6-B31C-445D-ACD7-4D61AE2FC465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c5be88e5d0a3ee51ebd063404c930a97e602f","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcb86d68d1dd65a48dc6f3ab0e33adec0da5df4","datavalue":{"value":{"amount":"+0.8700002","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":"Q3618577$B4AF2FA5-4A64-44D5-A262-99412A0D4A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15dbe19849588caeb895716de1ff3c5a04ec9c","datavalue":{"value":{"entity-type":"item","numeric-id":1331923,"id":"Q1331923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ef9ca7e1e03f7aa12834d8c481b1b7b9df22a3","datavalue":{"value":{"amount":"+0.86846244","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":"Q3618577$B7E7CCB9-93A0-4035-8231-24D20B5FD77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f13d5cff31b498c66d1259f2a0ac1a0b196f0e","datavalue":{"value":{"amount":"+0.86370075","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":"Q3618577$A4BB3394-DBB4-4FE9-8A37-6732CDB4D3F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3618577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3618577"}}}}}