{"entities":{"Q4928504":{"pageid":6958086,"ns":120,"title":"Item:Q4928504","lastrevid":51744890,"modified":"2026-01-19T19:38:35Z","type":"item","id":"Q4928504","labels":{"en":{"language":"en","value":"Model-checking bounded multi-pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176271"}},"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":"Q4928504$D40E516C-56AC-49FB-9CC0-BDB0D2B6FD75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d33b715bac1492921eacb2575c0b4462d23d4b2a","datavalue":{"value":{"text":"Model-Checking Bounded Multi-Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928504$7FF47362-1765-44C9-9964-142D000867F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2723142431f6f385bdda743795e45a7ed2a4537","datavalue":{"value":"1381.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$20EC8A52-153B-46DB-85C1-BE08063B8518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b0ee052ca4214f2f0d45e822283d26eebfae85e","datavalue":{"value":"10.1007/978-3-642-38536-0_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$937BF5C7-1E74-4A07-BC4F-81F1E0F0E2E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62294fb13e708c6a17a9b331a0fc305e71cac6e","datavalue":{"value":{"entity-type":"item","numeric-id":1702887,"id":"Q1702887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928504$4F981BCB-FA39-4172-8D74-04089C6CE34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928504$33E4EC51-CB2F-4056-AD64-141C02C6DFE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928504$5E71C5F0-2918-428E-A10B-0E821AA0F20A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928504$D8053A63-E37D-42FB-ADA7-CC9005B15B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$E4157518-ED79-4323-90C9-FC64BAA46C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$C05D9804-0E78-4C27-A4B5-D78F323A7B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$1C1F117C-71E3-464E-B2A6-D4E50F3F28D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338ffd11cc477d97be960169a5713f5419224f2e","datavalue":{"value":"6176271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$916CB923-E3D3-4657-8418-0B714E4C8DBE","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":"Q4928504$4F095DBF-836C-4AB6-81F2-BC968289C637","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"513880b418bfee70599e1508710f0dd8321e61e5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38536-0_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928504$F98548FD-2220-4186-9FAF-F68223F9606B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"647f7b4cdce69ecec21befd07c5800051c109870","datavalue":{"value":"W2276682279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928504$A371E066-1001-4BE8-B06C-EF0064C40111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b05beb9f1c74c70fbe8d60045097fab894cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5271053,"id":"Q5271053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6598546c222ca28d1e9a353a6d5e4d3af4fe4c51","datavalue":{"value":{"amount":"+0.8432403206825256","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":"Q4928504$500071AA-86B9-4E34-BEE4-04D2E4EBD207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9643b1a6d0a0d86bf4b36f43e11fa4ff447faa84","datavalue":{"value":{"amount":"+0.8404414057731628","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":"Q4928504$FFD56F17-6BF3-4E6D-9ADC-930F8D5527F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163e4fcefce5cb1a63667a3ef22d84884831c8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2908851,"id":"Q2908851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95db78fde907aa8d65c1c17b8062c82a0564b98b","datavalue":{"value":{"amount":"+0.819266140460968","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":"Q4928504$8FC6EF58-8D9C-4599-8B4A-2E418461D7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d8dd36444cc400be135edd779cae7f27552f4a","datavalue":{"value":{"amount":"+0.819219172000885","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":"Q4928504$2F4C31D2-69C6-4099-9013-914C665A1579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf302a2b2fe499cec9fb21cac8ae3a4ba44ef33","datavalue":{"value":{"entity-type":"item","numeric-id":2922037,"id":"Q2922037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c21dae33607877bd1388523ca8e6dab9d4e8dc","datavalue":{"value":{"amount":"+0.815457284450531","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":"Q4928504$2E0DAE3F-EBA4-46F1-A7A3-F806C5B92ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928504"}}}}}