{"entities":{"Q5308435":{"pageid":7338009,"ns":120,"title":"Item:Q5308435","lastrevid":50173964,"modified":"2026-01-13T09:08:04Z","type":"item","id":"Q5308435","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 5196485"}},"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":"Q5308435$3360F4E5-5A45-425C-981D-7BC429DEE1A6","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":"Q5308435$C52F5083-C2FA-4B40-8194-E025E8F48B87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b261ddcec2975f4c71dc4478bc9a91dc90d81b1e","datavalue":{"value":"1126.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$EC095855-E3BE-474E-B163-AE3AF439EDA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c846912811352f98fc953a6e77fb4be64f213bc","datavalue":{"value":{"entity-type":"item","numeric-id":832219,"id":"Q832219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308435$FE53A308-7918-4999-BF20-F6784F1598CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308435$84F59668-0C53-44E1-ACF3-468259F8A1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308435$68CB21B6-CCD3-4231-A8A2-12D30F0C718A","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":"Q5308435$62BD1114-C722-4C40-8BCB-7807AD0B166F","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":"Q5308435$BDB7CA20-4E7A-4547-A380-6704AF3EA64D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$DE00610C-A80E-4280-8C1B-C114F721B013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$52057756-085D-4C29-B8A9-178D5CB45E8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c8969dd87960a26d85cbe40d2536fb6cf4a7833","datavalue":{"value":"5196485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$3E30136E-F20D-4EFD-B565-E2BE92B13D61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308435$D3DF8333-EB63-473A-AF7B-A220DA3D7C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308435$945F82C6-44A5-41B5-8037-A902B9E9E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bffca71a435ced51db72e4cc2c3e4d6cb1b9197","datavalue":{"value":"reachability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308435$EC0EABD5-4B8B-4F07-A3C9-6F98E7BDE694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9c3e9e6000e6e3f76a8283509c4bde7dd63840","datavalue":{"value":"convex translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308435$4406F708-93CB-4A88-BFFC-0DFD8E7FEEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5c482f425bf681658fd6ec2d30a3b16d75454c","datavalue":{"value":"TTP protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308435$B9A7CBD8-DEAE-497C-9AF5-6E82F4FC877B","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":"Q5308435$4E9EB70E-3EF3-4289-A0AC-2ED49AAC1487","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":"Q5308435$A1A9EE8B-2674-4C90-95C6-DE1C2602DED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0423a0f6ec3e6e8d96600d4700c537555b17e5d","datavalue":{"value":"W4299869287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$A78AFEBC-9E39-4C76-AC6E-A8A337AB39EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"973c2dabf359953d5bb5475048218e24e397a22e","datavalue":{"value":"10.1007/B96393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308435$BB91DBF8-169A-4F2D-8134-B772372353FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33241f8bc26cb54eda687cccf7925d4d4a0552f","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0baebbe4325130213b52923679dbaebb93c9f43a","datavalue":{"value":{"amount":"+0.7652841210365295","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":"Q5308435$1D157C1E-5FAC-4003-94DA-4B237F95A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157269a7c87aa5c58e8e0065b9dbf87d6ebb0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7b3a852f960d9faed5a4cf72af6e0e5ccf924b","datavalue":{"value":{"amount":"+0.7526509165763855","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":"Q5308435$8FD6E813-6334-43EA-8899-506CB413EAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3136817e6019879fe9c56456eeb73251c054d67","datavalue":{"value":{"entity-type":"item","numeric-id":5756730,"id":"Q5756730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b76e53c0f3e2471dcdc2b98e570268bd2846b5a","datavalue":{"value":{"amount":"+0.7499012351036072","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":"Q5308435$310F1FC2-4BEC-4F58-A7F1-33AC87BB7AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774080f3adb0456db388aa8110bd4bdaf0f0861","datavalue":{"value":{"entity-type":"item","numeric-id":435977,"id":"Q435977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d815b0816b51cc31ab3e25b640ddc2696515d99","datavalue":{"value":{"amount":"+0.7417231202125549","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":"Q5308435$7A7583BB-4FBB-479C-8E53-17C69C4E8E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8815a488a45d78fbffb8ceca65c23f127c01f105","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caee29a3c4e2d52fbc15c2b266a035c2b2d7c5b3","datavalue":{"value":{"amount":"+0.7396260499954224","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":"Q5308435$46CB3334-6E32-4C26-958F-D6099BC5F390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308435"}}}}}