{"entities":{"Q5166702":{"pageid":7196274,"ns":120,"title":"Item:Q5166702","lastrevid":52037150,"modified":"2026-01-20T19:39:15Z","type":"item","id":"Q5166702","labels":{"en":{"language":"en","value":"An automata-theoretic approach to reasoning about parameterized systems and specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314168"}},"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":"Q5166702$87553E32-8236-4DDB-B658-3EEB2F54C314","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"052c071c449da9b87d360844f7440f6089d02729","datavalue":{"value":{"text":"An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166702$8003171B-BA0F-4448-B02F-64AD96BB3A92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c59c1c49581553b63b35d28a3edd8ff649986640","datavalue":{"value":"1410.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$9FB5F794-347D-41B0-8802-190241A10C64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddd49ae7c52862b9cfcfa58aea3876a31cbd633b","datavalue":{"value":"10.1007/978-3-319-02444-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$D2C2F1BE-1138-4794-A064-243BC692B898","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166702$FFF26E80-679D-4957-BD21-F2F15CD6D7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166702$F0F36322-0EAB-4F32-9385-3D07EB935231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f54da6e19096b7295a17c11b9a25783abc5f44","datavalue":{"value":{"entity-type":"item","numeric-id":2232275,"id":"Q2232275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166702$9D8101F8-7041-4D55-9369-D506D00FA9C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166702$4C642CCA-2013-4439-8F2E-190B1E970B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166702$0589FDAE-973E-42FC-9F86-3AA725637AA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$A20283B5-C81F-4F08-B103-D1FDFD538712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$6FC68A4C-5DFB-4C55-9783-EF6CA4428C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$DC996C48-557C-4B27-8B9F-FF508E890BC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc45535fe10791f71ee2ef484f71d426a2d61c0f","datavalue":{"value":"6314168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$A1DE9401-9465-4FA1-9B24-B064CF1E14BE","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":"Q5166702$1063980B-5A7C-440F-B724-C2A1213D8F09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee3e8d90e5dd7a544a3aefa2e62b24a563092e43","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166702$227DB375-2EDE-4D8F-83C7-955A26A8C6A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db7a5904d5dba7d5f5eac60064629c34607deca7","datavalue":{"value":"W142519030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166702$7A547E46-3D4B-479D-B8A8-FD76F4428C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5979cfe658453256f286c1ae7050f9bd04c5570","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b933126a58717210b5ffa19bd7e4676ba6040453","datavalue":{"value":{"amount":"+0.8070405721664429","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":"Q5166702$7DCE9836-92A4-46FB-B474-AF032D9F0B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7208a4fdd527dcb609a81f4a49213711c58b0a87","datavalue":{"value":{"entity-type":"item","numeric-id":3587257,"id":"Q3587257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852c2231a18e60813e1a41322b0d6defff49c4c1","datavalue":{"value":{"amount":"+0.7975541949272156","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":"Q5166702$6358C9C1-C522-4668-A4E3-8E4439211A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60e7b9ca503b4c9b968da75c089a0b49a011536","datavalue":{"value":{"entity-type":"item","numeric-id":2331081,"id":"Q2331081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2e62520e54b6cb9cd47d008ac1d3aa2a26743a","datavalue":{"value":{"amount":"+0.791837215423584","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":"Q5166702$E48F6959-C72A-4FA3-A068-39B32A952A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efb1ee02b577745f27a02547de801fa0006938a","datavalue":{"value":{"entity-type":"item","numeric-id":4649292,"id":"Q4649292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a35e90ab77b9454dde5e2d02f747228b504cc1","datavalue":{"value":{"amount":"+0.7726603746414185","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":"Q5166702$34097ACB-5B8A-4213-9C08-52284C80F5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798208dce76d6c52f31370b84258e4944b44a139","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12108ce6ed4b7dbbf80e7069e2449d8d5525bd4","datavalue":{"value":{"amount":"+0.7527425289154053","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":"Q5166702$18AB0C34-ECCD-4DF7-8C47-2DD374D14204","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166702"}}}}}