{"entities":{"Q5703761":{"pageid":7733315,"ns":120,"title":"Item:Q5703761","lastrevid":48591226,"modified":"2026-01-05T07:54:25Z","type":"item","id":"Q5703761","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 2227825"}},"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":"Q5703761$BB2743A8-FB1C-42DF-8262-53417587E4A8","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":"Q5703761$5382E036-6E0D-45DD-8E40-3C21E3317722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628779fcea6048e7e6e0ee0486b6e2684fba5407","datavalue":{"value":"1087.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$EC2FEAAB-ED29-4DE0-B487-2AD2FD137FF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3349bdc58c18b99bd478519fae34288b442f808","datavalue":{"value":{"entity-type":"item","numeric-id":4518907,"id":"Q4518907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703761$FFBF8373-41AC-4673-AF62-4802558E85F1","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":"Q5703761$67EC662A-7510-40AD-8CE5-F0AA13566086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7504496f9cd86e8ea3172be7e26b0a8b93a95b96","datavalue":{"value":{"time":"+2005-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5703761$892BFEB9-123C-4E1F-9E91-696BDEB0F4A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$E73352AE-0700-471E-972F-D1DD8AB72E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$33A178A0-C341-4AB4-9818-31B5BA339551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$070C60EE-5419-452D-8867-D4B41100FBE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d63648b81f01e5325dbc6d96028a981a38cc972","datavalue":{"value":"2227825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$28E0CA97-E033-4E20-9741-8EFA88AED3EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703761$694415FA-B7D9-4AAB-9784-69307F0EC575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703761$83A7F0D9-4391-430D-9E1A-E70D4B3147B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703761$1C6970D9-AE26-41A8-834A-AE54F2A6C2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703761$05607761-C8B9-4368-A95F-70C54A787E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703761$2E4EF18C-4F53-4225-90B8-CDE35A085970","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":"Q5703761$CDF789F9-E288-4C32-B093-C7E9F2DF3EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf9b6bd4080f99170aa426e9a151e523e8805629","datavalue":{"value":"https://doi.org/10.1007/b107194","type":"string"},"datatype":"url"},"type":"statement","id":"Q5703761$78506D45-D426-439B-A4B9-AEA238E3B477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ab487add8ea1e4882aa6f4936f3dc380e1186ef","datavalue":{"value":"W2497867240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$BCE8AA56-FCA9-4C8E-B963-6B17CBD4FE8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c2fcf447ffdf860b3f20bb14728a96e65a2091","datavalue":{"value":"10.1007/B107194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703761$917F68B2-C95F-46CC-B1AA-65049D5023B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f5cb8811d70e31f938d0b6162e78c814c10441","datavalue":{"value":{"amount":"+0.8046761155128479","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":"Q5703761$3B18994D-ACB7-4916-86A3-CE9F6CEF80D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f5cb8811d70e31f938d0b6162e78c814c10441","datavalue":{"value":{"amount":"+0.8046761155128479","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":"Q5703761$48D95F6E-D6CD-4384-836F-F9835FB3B460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3f6cbba03c2e54486eacf5a716747da050ebfe","datavalue":{"value":{"amount":"+0.7743221521377563","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":"Q5703761$B5105091-D812-4444-BF17-3E9AFBDEAE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d75aeec51cacd47dc0958c8ad70d885f89368f2","datavalue":{"value":{"amount":"+0.7738378047943115","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":"Q5703761$13504D6F-86B6-472D-A679-BD7B4A9727D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fd2aa6372244b07ffbb2496c93017160dd901a","datavalue":{"value":{"amount":"+0.7737389206886292","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":"Q5703761$A1F92EB5-C801-4737-87B2-9270755489FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703761"}}}}}