{"entities":{"Q5899053":{"pageid":8002451,"ns":120,"title":"Item:Q5899053","lastrevid":50083702,"modified":"2026-01-12T21:54:43Z","type":"item","id":"Q5899053","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 5148048"}},"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":"Q5899053$70E8FEC3-2C46-46CE-AA6A-30A3D5AD6D4C","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":"Q5899053$362102B1-595C-4D11-B994-E576ABA81640","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e84110a57d08b84586f370ad4de03a5ad6f52546","datavalue":{"value":"1180.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899053$D2F6929C-B75E-4357-82A7-E840FB84C72E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5118afb6938c31a4a686dfe7d1a92c2b79e651d","datavalue":{"value":"10.1007/11691372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899053$B2FD5C58-ACE8-4431-8D5F-7ADD141DCB37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0eeb1a75bfd78af1fbd1b368865b05d1ddee9d","datavalue":{"value":{"entity-type":"item","numeric-id":3433720,"id":"Q3433720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899053$0D7BF465-7E18-47AA-A156-6BFFEB4053D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899053$60E2B5EE-8958-4DF4-9E8F-9F2DA1F9D4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c762e6aa3f9136d6b531e9fff8ec32b9340834","datavalue":{"value":{"entity-type":"item","numeric-id":1190531,"id":"Q1190531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899053$83F86DE6-1C3D-4370-ADC2-AC0B208964C0","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":"Q5899053$EF2821B8-F106-4F0D-AB04-29FAEC132B89","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":"Q5899053$EAA23A3A-BCA3-4222-9B13-FBF1B50AC337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899053$456244A9-2007-4853-853B-1FDC859AFB1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94d564a97ccb6c10bce8f26329ef7ee8ae7501ce","datavalue":{"value":"5148048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899053$D857D334-F347-4B3C-8DDB-EC866C2C2E33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44be0f3541bff4333c267379f0a0824a1636d5b","datavalue":{"value":"ROBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899053$7C8FCC31-9C8E-4E20-9C8B-F1DFBF56780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899053$FE9DD039-7461-4D43-800B-1AE90976B10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899053$A0F10CD7-B622-403E-B6F8-6E042A788C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899053$D87AF656-7D7C-478F-9CFF-BE265E9D39A3","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":"Q5899053$49DA5016-6F9E-4A72-B2BA-EBE96844CF82","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":"Q5899053$5564A33E-0030-42D9-9506-B6EFD0D8439D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"563befb9022c94e2fdcca30c64b803de8aa31598","datavalue":{"value":"W2739785336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899053$C1E6E5D3-43BF-41FB-8C27-89A8610C3795","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd401e3f88667649aebba2ce5393be8ec1d14b06","datavalue":{"value":{"entity-type":"item","numeric-id":5898606,"id":"Q5898606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2527bd6b9129507281d7b18cbd842aa4570385","datavalue":{"value":{"amount":"+0.8217048048973083","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":"Q5899053$1469D942-9748-4EDC-BE79-93DCBEEF596C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bdbec4a304db5f5bacb643e314f45e0461872d","datavalue":{"value":{"entity-type":"item","numeric-id":4617985,"id":"Q4617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd43cc0cdc2f60feb050521aa74fac45673fe39","datavalue":{"value":{"amount":"+0.7589163184165955","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":"Q5899053$B574184A-2503-4887-953F-28EB4CCCCBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad10f81a8f0492f78d191a0e0601c5483eeccdbd","datavalue":{"value":{"entity-type":"item","numeric-id":5414587,"id":"Q5414587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf60aefb70ba85f6b60530fac2331c5ec531b52c","datavalue":{"value":{"amount":"+0.727868378162384","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":"Q5899053$380DFF37-7061-421D-8112-F4980F8663EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60566b73fe735b8223a19282da3e8b222d989c7f","datavalue":{"value":{"entity-type":"item","numeric-id":5146738,"id":"Q5146738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8535ddac66e4495975c30cf13da0d93bfa1552eb","datavalue":{"value":{"amount":"+0.7259032726287842","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":"Q5899053$3C3762FC-2DEF-47A9-9294-08352459929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae86df0039d8b71b54a7df22140d850632680b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897079,"id":"Q5897079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34dd692894f8534cb88fe3e91a2ab667c7be828","datavalue":{"value":{"amount":"+0.7195990085601807","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":"Q5899053$C5DAC773-03E5-4DB9-ABFA-23CB41D0CC39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5899053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5899053"}}}}}