{"entities":{"Q5899050":{"pageid":8002432,"ns":120,"title":"Item:Q5899050","lastrevid":50083693,"modified":"2026-01-12T21:54:42Z","type":"item","id":"Q5899050","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 5148043"}},"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":"Q5899050$0F5C30A9-2758-46FD-83C1-CDB99CDD1BCA","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":"Q5899050$36BFD60A-F85D-46CA-B5A7-15927448F88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63df5a99b6cc2336cd8f8661e9c26cfbca4fdb4e","datavalue":{"value":"1180.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$597609AA-82E0-457F-A556-6C53F19AF92E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5118afb6938c31a4a686dfe7d1a92c2b79e651d","datavalue":{"value":"10.1007/11691372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$661A11DE-E4BB-4C47-B1A6-1BCB667855DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bfeb6e5c3c1810665b004434819ea4b3dc39c2","datavalue":{"value":{"entity-type":"item","numeric-id":526756,"id":"Q526756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899050$E0EEB056-9212-439E-801D-55CC811A7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899050$124E8C52-645B-4FD3-A5E4-B48417F4BE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fda2b8ba8926fdb36796c097562da9639cb4567","datavalue":{"value":{"entity-type":"item","numeric-id":3433719,"id":"Q3433719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899050$2145C6E5-84AE-4245-BED0-04E44F115910","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":"Q5899050$069685D9-BA9B-40B1-9933-22188722E904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-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":"Q5899050$8FA5D4D2-734A-4AF5-AB6D-292C8D7FE7BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$F1FC8BF7-32D5-449C-A358-44E8A4CD6A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$92977D11-C801-4CDE-B5D0-9D6BED4CBD6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eae69d70269112a951c0cbab3fcd196f263a11b","datavalue":{"value":"5148043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$DB727F46-67D9-47D2-8767-C9C35585D1A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f74c1fd761b50cab14310802b7bfff08e346ceb","datavalue":{"value":"Parameterized correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899050$A12AC162-05C0-4C7A-A240-B74628267A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135a7e6e28c5e714d2a4204296bc6a14edbd680e","datavalue":{"value":"Data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899050$3FBF27DC-21DD-48F0-A843-10F7AA2FAC25","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":"Q5899050$F5A142AC-2338-42F9-951F-3ECCF9220309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"162daeb98b1d4bdda82790007ffed2ba3c53b1a0","datavalue":{"value":"https://doi.org/10.1007/11691372","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899050$309CE3D5-46F0-43C6-A410-9235C13F6A78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"563befb9022c94e2fdcca30c64b803de8aa31598","datavalue":{"value":"W2739785336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899050$42C067A2-6340-4EF1-BA83-900F56A0CFF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cf7e45b810b5db81f1664008c85ec11838ac","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e745ba91428732762835270131277668b16d1c6","datavalue":{"value":{"amount":"+0.7696253061294556","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":"Q5899050$4882F3F2-DCB4-4F68-980C-0ECB233D9E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ffa47cfdf65eaaad1ee218d989233be5a41c8b","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7671e922ccb74e1ef9e5dba28ee69d7be164fff3","datavalue":{"value":{"amount":"+0.764479398727417","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":"Q5899050$1148AD93-CA2B-4F34-B7BF-89F5DE1F1CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402b36d38161f701a486c77c25d32e28a7ac0455","datavalue":{"value":{"entity-type":"item","numeric-id":5452196,"id":"Q5452196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7671e922ccb74e1ef9e5dba28ee69d7be164fff3","datavalue":{"value":{"amount":"+0.764479398727417","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":"Q5899050$BAAB8C39-EC81-4694-9890-BAF6B45F2168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4450cc9fb4a4f6f0431fc45e2d367d649dfcdada","datavalue":{"value":{"amount":"+0.7632389664649963","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":"Q5899050$0B2AEC38-3C8B-47BB-8BA3-B8936DC5E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5547e7f140f28686cbd763d65679684df419834d","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c399d4bf22ad726269e6b540feb9322c9feeaf","datavalue":{"value":{"amount":"+0.7592302560806274","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":"Q5899050$BD3C49CB-E1FC-418F-A0CE-6060E41B4D62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899050"}}}}}