{"entities":{"Q5308404":{"pageid":7337978,"ns":120,"title":"Item:Q5308404","lastrevid":92229881,"modified":"2026-06-05T01:11:50Z","type":"item","id":"Q5308404","labels":{"en":{"language":"en","value":"Tools and Algorithms for the Construction and Analysis of Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5196457"}},"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":"Q5308404$B3FDF68F-56FC-4370-B47C-87C9FD2E73D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60b34dd78490eca3b19b2dba4126056b465a685e","datavalue":{"value":{"text":"Tools and Algorithms for the Construction and Analysis of Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308404$C6D23439-CC97-4510-99E6-FAA2C09661AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f0392029ae0c3ca9cbb55be8c395aed69372ef","datavalue":{"value":"1126.68483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308404$BB9633DD-5886-455E-8C9B-9BDD05D4AAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308404$34DC98FA-4F59-4C5A-8B30-16C3E98FB40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"989216809b09c2b4ccd5d359e73eb27c0900282c","datavalue":{"value":{"entity-type":"item","numeric-id":675221,"id":"Q675221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308404$D78A6D0D-2251-4305-89D0-EEC51CB187D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308404$9301BCCF-886B-4067-ADF9-48268F2BB587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f3bb612485fd64be80be5677ab1cdc0f4709762","datavalue":{"value":{"time":"+2007-09-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":"Q5308404$0334F63E-1681-432F-9F8F-899F7BD7A098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308404$9274875C-F453-4512-990F-D86EF1FEB1EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cf1326cff5ad6405b704003a39d7e36ffbc471c","datavalue":{"value":"5196457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308404$AA45D205-883D-46F6-B8EB-0D2A000C762A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308404$D18593C5-2387-4880-990A-55B847305C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308404$6F65BA52-B998-4948-B023-1153CF429081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"439f20a23284d2db62529852da7cf7f50085dc6a","datavalue":{"value":"error diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308404$EB94E0C8-BA93-449F-BF7F-13B7FC362800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308404$C1ED813A-29F5-48AB-851E-350E09FABD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a056d631bfa09c291625b9f3d7b3505940c6c6","datavalue":{"value":"animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308404$68CE51F1-5FDF-440B-8435-B006ABCBC8AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308404$552F94AC-3035-4763-AF91-311B52560196","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":"Q5308404$C84F35BB-5FD4-4B9A-A103-0C98A5DC8363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd4b39224fd82a37a50f8be8182ac3393081e74f","datavalue":{"value":"https://doi.org/10.1007/b96393","type":"string"},"datatype":"url"},"type":"statement","id":"Q5308404$ABD94612-A7CA-46FA-86D8-4E7E7EDA9A86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0423a0f6ec3e6e8d96600d4700c537555b17e5d","datavalue":{"value":"W4299869287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308404$F037B5F3-5598-439E-A770-C1901FDE2864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"973c2dabf359953d5bb5475048218e24e397a22e","datavalue":{"value":"10.1007/B96393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308404$2C031108-97E5-4EDD-BC70-62E82C108044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba1b079e0249dc566da6accdc8887349cee392d","datavalue":{"value":{"entity-type":"item","numeric-id":2852361,"id":"Q2852361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e515bf7668d5145ee59bc7af42d5c9f8d64a45","datavalue":{"value":{"amount":"+0.8282502","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":"Q5308404$D42359A8-5ADB-4536-A222-B32621E59AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39fbbe1f3c03ac926e774d1b629dc3184a86350","datavalue":{"value":{"entity-type":"item","numeric-id":3093997,"id":"Q3093997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213cfddd2216a55115fd49ce65c64459537cc506","datavalue":{"value":{"amount":"+0.82690895","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":"Q5308404$F2E432EF-6718-4F57-8B5B-C866E5C430B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856aefe4aa987d7b5f0673800803d7812db6c309","datavalue":{"value":{"entity-type":"item","numeric-id":5458322,"id":"Q5458322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f09169d924d2417aecadd1609bc6c2e5e53569e","datavalue":{"value":{"amount":"+0.8241219","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":"Q5308404$79847EDC-F120-424E-B756-3E9B80006D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe9d2f3e0ac8e890f762f075568a432d67849b5","datavalue":{"value":{"entity-type":"item","numeric-id":2852033,"id":"Q2852033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d778a667ef09ecb29032dba34a0cb138ca374b46","datavalue":{"value":{"amount":"+0.82048047","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":"Q5308404$298D0E4E-DA8E-4225-BB96-BE2B7ECE89F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70aa0f5016bf40200337180672fb5030c0b545a9","datavalue":{"value":{"entity-type":"item","numeric-id":5326322,"id":"Q5326322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652c0940a89a83b13f551b606c9984489b26ffb","datavalue":{"value":{"amount":"+0.8202324","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":"Q5308404$A25CF401-E1A7-4583-8E95-09EE6E0194A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067c6c616126bc0ec1b35e069bd560f51cd5c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1674862,"id":"Q1674862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652c0940a89a83b13f551b606c9984489b26ffb","datavalue":{"value":{"amount":"+0.8202324","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":"Q5308404$C909C3A9-DE99-4C8C-9137-7DE2E3C90382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69965577b88f0fbd869f14a3d3d5dcea31caae9a","datavalue":{"value":{"entity-type":"item","numeric-id":4955435,"id":"Q4955435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b416a21d9245f753347d70eccc6fa5cdc1eff571","datavalue":{"value":{"amount":"+0.8191898","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":"Q5308404$4E7D7FDA-3EEF-4938-8DEE-5335180B403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95803da382dc4e174d8bd7163f4ffe42583c9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2848417,"id":"Q2848417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89abee5245b972c754129fbc5e461cbca2f51a2e","datavalue":{"value":{"amount":"+0.81688","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":"Q5308404$78330E59-3710-455C-8C9C-D6F11759476F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tools and Algorithms for the Construction and Analysis of Systems (scientific article; zbMATH DE number 5196457)","badges":[]}}}}}