{"entities":{"Q5756743":{"pageid":7786294,"ns":120,"title":"Item:Q5756743","lastrevid":50158028,"modified":"2026-01-13T07:25:41Z","type":"item","id":"Q5756743","labels":{"en":{"language":"en","value":"Improving Pushdown System Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187419"}},"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":"Q5756743$9504C518-B95A-4CA6-83E3-CF76F2AEC1CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c790ca78ba545c2ea02a14982c110c80f9090cf","datavalue":{"value":{"text":"Improving Pushdown System Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756743$2BD176BF-F246-484D-8A57-834EDC0A4456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"025905aaca5684b18bb6d26e7ea0f96d6dc4c52a","datavalue":{"value":"1188.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$5939B427-CD30-42E4-A23C-D874BEC5A347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb2690323b1b7a739ae0b124e66c989e7ba6fe2c","datavalue":{"value":"10.1007/11817963_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$A9FA6245-D388-478F-8263-4D88DB2EAF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756743$AB8C14E8-0207-48A6-8B01-117EA7A52590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756743$8BDE3F08-86AA-4700-9C56-5FE4A49B5D9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756743$E7640EE4-F99D-4A7F-88EB-BEA4A05DD311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756743$548F2AD5-CEF3-423F-928E-78E0E38F8258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$06D27914-A5E3-4141-998E-947C133EB141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$7A84E6A4-4046-443B-B7FB-4767E7DC66F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c43a6daa67cb8a64fbe658561c37d9a92ebdf1d0","datavalue":{"value":"5187419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$66923077-3D46-4AFD-A145-20867CBDC4DB","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":"Q5756743$3E006B10-695A-4789-A62F-6B19EA9CF4A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5114eede5c22d0266a0f7a80282f6c38668881f","datavalue":{"value":"https://doi.org/10.1007/11817963_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756743$261199C1-F5DF-4484-A906-361A5230B8BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec3ed8d57a04c3f50ca0e143193a0f9e6bc2b232","datavalue":{"value":"W1591136029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756743$014E172D-99BA-4149-8648-CAFD1823BF17","rank":"normal"}],"P1643":[{"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":"1bfd8213b6ef41e0d5cef73166bebc89eff62143","datavalue":{"value":{"amount":"+0.8596073389053345","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":"Q5756743$A6A2AE8E-3A5D-4A2A-A059-ACD66A3A53C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec424eb7f763bfede65b9a50a95ad8dc55e20d88","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e54728de532f15b6cf1c294c8b0cd40a3631dc","datavalue":{"value":{"amount":"+0.8584064841270447","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":"Q5756743$A6BB0836-91F9-45AD-BC42-45F4123A9979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8264bfbf79d45c23663a42de8167e352d6dd0c","datavalue":{"value":{"amount":"+0.8287332057952881","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":"Q5756743$B16D6FCB-07E5-4A8E-B891-CD64EC1B8150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dcc92bad8aa72ddd6f52b973edcc1d48c22d04","datavalue":{"value":{"amount":"+0.8283995985984802","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":"Q5756743$973058DB-3B22-48F3-ABF5-716014D6CC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be01f6e174d5d7459a6721d50c3a2631fab3e0cd","datavalue":{"value":{"amount":"+0.8242239356040955","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":"Q5756743$21C5B60D-4340-4696-A910-F0969CB83F5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756743"}}}}}