{"entities":{"Q3181700":{"pageid":3192408,"ns":120,"title":"Item:Q3181700","lastrevid":50783288,"modified":"2026-01-15T04:08:08Z","type":"item","id":"Q3181700","labels":{"en":{"language":"en","value":"Approximation-based tree regular model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5614013"}},"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":"Q3181700$3EBF45E9-370A-4914-B338-190982A0DAE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed7320267a0c7d02c7a7bfd4bb7d435b141186a6","datavalue":{"value":"1187.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181700$45C306F9-FBAB-4C52-BB51-0D894CC19B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3181700$36FE47D5-462C-4597-B92B-34C57BC1F931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181700$71CB56DA-A5D1-4EFD-8783-2496D4E3DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181700$C66D463B-87F3-4EF7-BEA6-8FA0C0917FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0c85fe0a100bdcfd89015ea690a0dd3ecbfdd43","datavalue":{"value":"5614013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181700$35E28577-B9B1-46E2-AB79-26F84BA645A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181700$0D4317C8-65B6-4793-861E-184A401DFB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181700$EBE6DF79-9F3A-42BD-9716-478C23886417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181700$D1057DDA-442D-4D3D-B054-1CEB7278897F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"750ed031269672a85853b13f60f47c870d58920b","datavalue":{"value":{"entity-type":"item","numeric-id":2424679,"id":"Q2424679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181700$3FBDCDE1-571F-498B-82B3-C6E54D75E86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181700$D3E1E5C6-72E9-4FB8-8988-E069D74FA35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181700$5F5B3DCA-9288-4979-A4E5-AB01246A2133","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34be25f759d910e2ba95bb866ecb2a5c5dda07d3","datavalue":{"value":{"entity-type":"item","numeric-id":13163,"id":"Q13163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181700$6CEC695B-06BD-44A9-A4AE-8C6E5FE9B0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181700$AEB32113-B9E0-43A8-9C3F-6CE163E98448","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":"Q3181700$A186D47F-E3A5-43AC-AF4D-BB79292DEED2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaab45955527a8525344b56b01afd56919100236","datavalue":{"value":{"entity-type":"item","numeric-id":4982086,"id":"Q4982086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a250266aa1e7a2fdf7f612d066220309469e93f4","datavalue":{"value":{"amount":"+0.8340732455253601","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":"Q3181700$A7665773-C01C-4AFB-A406-7FB9E6478CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e06816456005d787b4770455a12ff28b2c09f71","datavalue":{"value":{"entity-type":"item","numeric-id":3646168,"id":"Q3646168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6f7ddf6cc1772e1554b345c59f8ccea7eead8a","datavalue":{"value":{"amount":"+0.8294562101364136","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":"Q3181700$DA0836B8-CF88-451C-9E67-1456EF8F4B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f53789a0996fd628ab04cd8b2534ada77f1ed3c","datavalue":{"value":{"amount":"+0.8118599057197571","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":"Q3181700$423B7BEF-E9E6-455A-A882-0F15DCDE3892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136566685968582f4b4c330630cc53a377c69a86","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd816b2b734125c1b0a7401be4a1491cddf38539","datavalue":{"value":{"amount":"+0.7974697947502136","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":"Q3181700$0AC42F55-1BC5-49D0-857B-C1DA45C15A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a24b2d7219f2f9cb9dc106a2dd3d52ea85f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703778,"id":"Q5703778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827688ada2ece00fc2e22de4a7482b7d5a294a2f","datavalue":{"value":{"amount":"+0.7887737154960632","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":"Q3181700$C6B237A7-1267-41CE-AF09-C2BBA77C3A08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3181700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3181700"}}}}}