{"entities":{"Q2164219":{"pageid":2174962,"ns":120,"title":"Item:Q2164219","lastrevid":82570502,"modified":"2026-05-06T21:13:13Z","type":"item","id":"Q2164219","labels":{"en":{"language":"en","value":"Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571375"}},"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":"Q2164219$87AB5815-0771-4A87-A79D-97A5A42A49AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"323b1bab258a11d73f5c79e2c9d38587fe596d1d","datavalue":{"value":{"text":"Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164219$04056204-791C-476F-9F43-064FD3E2E439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caad73dd131427fb9390e7669b69c4f348e03c59","datavalue":{"value":"1495.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$41930DC2-BC42-4D53-8685-D2C2A3FCD30D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b0fc3c0cdee356dac61d9d4295c6522eb9b23d","datavalue":{"value":"10.1007/978-3-319-63390-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$6B3C4E08-2AEF-4B4C-8A28-6B838D5A192B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d44b325f158cd7c4eed27a4f49c09b063e7c27","datavalue":{"value":{"entity-type":"item","numeric-id":2164218,"id":"Q2164218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164219$2B926212-314E-4ECC-9C1B-CD4A8FB03383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164219$EFB8A4E0-CBB5-40B7-9A32-695B540C6E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164219$16EBF9E1-456F-4928-A01E-03C7A5522216","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-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":"Q2164219$0D457FD8-131E-423C-98CF-1032987976E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$27A2BDD5-A86F-409F-BA63-C8205589C64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$33879FF6-66AA-4467-94CB-7F006BEB6FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$0F5AFFAE-730D-4286-8F1B-FB0006603E7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36d93eb2fc5e39fa5144275fd397e6729c594f62","datavalue":{"value":"7571375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$9647702B-FF71-41E7-AEB9-D8ADB46A7A14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164219$8E414EFC-809E-4E67-AD98-A82083BAC66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd240585a6f67d64617ad09e64adfd2dbfc6c2c","datavalue":{"value":"linear-time properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164219$3B0A7F93-78D7-453A-B173-8E83C6A8AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7319ac9a6c5cc72773b50d1941893fc1fd568be6","datavalue":{"value":"parameterized verification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164219$967A0134-9B43-4883-8378-B5FFA7AE8388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce0313d54f82d0020ee11a5b733ac27693aba10","datavalue":{"value":"contributor instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164219$F03B03CF-DD58-469E-80BD-9E3ECE8A43AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09acd6f08e453544018d010f3f98d9c187fbf73","datavalue":{"value":"universal reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164219$44AA6933-658D-452B-B92A-B59B5F05CC5F","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":"Q2164219$BE84BC44-DDE0-4E22-9B4D-8FCA87159151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3939a4f4090b5f0981b1abc22f09f77f3760001","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63390-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164219$0A3D545E-78D7-4FA7-B473-C4A97D45BBC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"243238f2f6cdea7f7e297666eee9662000af2ca2","datavalue":{"value":"W2734934908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164219$FB0FC47C-185E-4B73-B5E8-1653EAF43F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39755ea34d9b606a93c4b7b2ca4b3733bf5122d5","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110634949738aba52f3243052b1cdbb66ce894d8","datavalue":{"value":{"amount":"+0.8519972562789917","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":"Q2164219$7D25BCF4-5252-483F-9A35-98C2FB87E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e33c13b43aa91f3a359faaf5c41032b8d67416","datavalue":{"value":{"entity-type":"item","numeric-id":5357695,"id":"Q5357695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9394286e8523789dd81847e3028822ab20d0e9","datavalue":{"value":{"amount":"+0.8340185880661011","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":"Q2164219$56069579-5C23-4B7C-B2FC-8A26F679A29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b6d72231892755a643dfae435c4518f4ca4591","datavalue":{"value":{"entity-type":"item","numeric-id":2842115,"id":"Q2842115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99972b19d23b6b0ccf93c7f1a1b86f276e7e0390","datavalue":{"value":{"amount":"+0.7570124864578247","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":"Q2164219$7F7E5B1B-112C-41CA-AED4-B28CDDD617E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems","badges":[]}}}}}