{"entities":{"Q2900270":{"pageid":2910995,"ns":120,"title":"Item:Q2900270","lastrevid":51516926,"modified":"2026-01-18T14:36:28Z","type":"item","id":"Q2900270","labels":{"en":{"language":"en","value":"Exact flow analysis by higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059280"}},"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":"Q2900270$B2350595-41CF-4CAB-B9FD-AAD7FC9A86B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"405dda0fdb16cca1e529d7ce8832374fd66a8ac8","datavalue":{"value":{"text":"Exact Flow Analysis by Higher-Order Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900270$127092FD-4EE2-4A81-87E1-17C63CFF0A18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8186f9fbe6feb57119c5145df94eced3aea209d3","datavalue":{"value":"1354.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$8ED6D279-65E3-4511-920D-E98F1822EF0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ff2a994df0a928824ea881b88ca5634c5ce970","datavalue":{"value":"10.1007/978-3-642-29822-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$763C0E04-176B-4F34-B486-D7CC2E872D6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3217ce2b9bc7018525a8596c37d7e08134033476","datavalue":{"value":{"entity-type":"item","numeric-id":2900269,"id":"Q2900269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$78FC1C4C-7B37-4D42-8E45-1EEF8B2A33AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$BC0C95E4-DB89-4AA7-97BE-958E2D07896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$BA7F50AA-0A66-4968-BB42-B4F46EECFA25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$ADC4109B-5114-4052-8137-6124D20E5D4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900270$C43341ED-3D55-4515-A55E-B057575F1D6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$41ABC75B-BEA0-4DF3-A071-8E7B2DAD799D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$1E590597-41E5-4654-B6F4-9FA636E1BCD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"317845b66a6c447b87926cdaf9c2b3c3787f2a07","datavalue":{"value":"6059280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$ECBD6020-A9BD-42EA-B8B8-0C91E24CC64D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bff48fd6ee617647263ff3251189af9b22c2fea","datavalue":{"value":{"entity-type":"item","numeric-id":26053,"id":"Q26053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$210A2A71-B4BE-4077-B6DE-91120D6BD092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a74a39153cbc8e5244e0c20b82217ad78a3d95a5","datavalue":{"value":{"entity-type":"item","numeric-id":26054,"id":"Q26054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$C6ABE426-34DA-449F-88FB-F1CB058F536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8482f09d64b70f65cf375b2138b15b9a9ccbbf52","datavalue":{"value":{"entity-type":"item","numeric-id":26045,"id":"Q26045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900270$1A6A0F3A-CE17-4086-B266-97F0C2721411","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":"Q2900270$55415339-0760-47D9-82DF-523E05B40876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"564efa493ca4c3456559785ed6a465de1b3b92f9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29822-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900270$A5FA255F-5922-4E34-B9E9-20C996AD5820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdf824afeb759d302bb9aedf730e535e443b7fbf","datavalue":{"value":"W152732218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900270$74F2593F-EA3D-40F4-A4D8-E903F07F3427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71a1371cecce2a78239e1a4f2020e5db6227fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4405690,"id":"Q4405690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c23013fcfb33b36e974e6f99cdfe02183fa51d","datavalue":{"value":{"amount":"+0.8227046132087708","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":"Q2900270$6B07A2E1-82D3-4F41-A877-34F65A9A9E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3979394568233adfaeb3bd7ac61fc6701a5eb73e","datavalue":{"value":{"entity-type":"item","numeric-id":2875080,"id":"Q2875080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c23013fcfb33b36e974e6f99cdfe02183fa51d","datavalue":{"value":{"amount":"+0.8227046132087708","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":"Q2900270$2AC52592-1B1F-42D5-AA73-D96D9704616C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b714135ec390cc9c7914c15781abb2370b00ac","datavalue":{"value":{"entity-type":"item","numeric-id":3558250,"id":"Q3558250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c5315af48e5515e32e3a6188b69b8198e493f5","datavalue":{"value":{"amount":"+0.8170961737632751","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":"Q2900270$CB8564C8-18D7-4393-ADD4-1F7B3E1556E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39943bff7032049f1aff39d08512301b26c011f9","datavalue":{"value":{"entity-type":"item","numeric-id":3003321,"id":"Q3003321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89375510a6fa37c5564ddccf9d03769ac7e94e6","datavalue":{"value":{"amount":"+0.8162174224853516","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":"Q2900270$61C2E1D5-072B-4883-ADCB-3D8588D4681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493ef039100f22c16fab53a9fccff30a5215571d","datavalue":{"value":{"entity-type":"item","numeric-id":4380998,"id":"Q4380998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9b69bc464d535227500998f3b04fe508338c1a","datavalue":{"value":{"amount":"+0.7816562652587891","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":"Q2900270$87EA8221-0A55-436A-B0FD-9BAC4380D4E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900270"}}}}}