{"entities":{"Q3525655":{"pageid":5555559,"ns":120,"title":"Item:Q3525655","lastrevid":50458505,"modified":"2026-01-14T02:44:24Z","type":"item","id":"Q3525655","labels":{"en":{"language":"en","value":"Pushdown Module Checking with Imperfect Information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344942"}},"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":"Q3525655$1C98735E-532B-40B1-9319-66D91A092EF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d584acb21a4dff40289c4405c26ead6574a4a737","datavalue":{"value":{"text":"Pushdown Module Checking with Imperfect Information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525655$CE5114CF-687B-4F8F-92E8-1EB18C048B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935b801091cac018d41706c079254217c17c2245","datavalue":{"value":"1151.68468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$7C97CBED-B6DA-4304-B88D-4BBEBDDA90AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a018c278394762fdb2a2546e6ce2bda0f13e1935","datavalue":{"value":"10.1007/978-3-540-74407-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$ADCAAE6B-F7F2-4C09-90AB-0B53690B5C0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525655$76084B08-0323-46C8-80D6-99C2736FC272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525655$89C5A494-841A-4091-99FF-B65A15004C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525655$D615EE33-7429-4AE0-8B9E-B8E975777E6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525655$FE9592B7-6288-4F0F-AA12-CFF02FEC8D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525655$C9F78D38-7797-4ECB-8902-3D19C23C7160","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$EB2ADA1D-BE04-4162-AA03-27AA1C978C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$37427E34-FB45-4C12-92D8-0004F6181F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6cb575641705e2365f6ee504c68048315d25c7b","datavalue":{"value":"5344942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$292A4587-E38F-4ED4-ADF1-5D0989CBB66F","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":"Q3525655$13D571A3-E137-40A4-9B9B-28BF5179FDEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4b435f58b574fd7a3f630e0d1c3b1a06058dcfb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525655$4A0F3754-2055-4049-B333-A1C29F217F37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"873a71dfc28d753ed5a921cf632f0a4cec7b1796","datavalue":{"value":"W2074460611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525655$AD42CF12-1665-46F5-A74A-1776DCC369C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5bc9a17afec83537deaf5e506324b59d40bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1951589,"id":"Q1951589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151c355cf5a22e71293d48955163a20398483639","datavalue":{"value":{"amount":"+0.9937246441841124","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":"Q3525655$412EA842-E1EE-478A-A209-C28EF24B793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66abb02ea0eba42c49df3e638e687fba3036f39a","datavalue":{"value":{"entity-type":"item","numeric-id":4964726,"id":"Q4964726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db4e0fc848045663daf0e039175561471b17b57","datavalue":{"value":{"amount":"+0.9334706664085388","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":"Q3525655$0C47D9CB-0296-4FFF-942A-D856AFE13D13","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":"8651d7054c2d5b06401e3526c225c181b7ed87e8","datavalue":{"value":{"amount":"+0.8530163764953613","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":"Q3525655$E7AA1BF4-134A-4B56-8EE4-103AF8BBC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de640cf007b1edbb6dfd7f1087a191940cf356dc","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753790b968c396080b7e3438ae1b391db6a4a33b","datavalue":{"value":{"amount":"+0.8513790369033813","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":"Q3525655$E7498E8F-A1DF-4ECB-ADAF-01D4E4766199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da470fff85f8cc4edd28dca66c5419a822ec0924","datavalue":{"value":{"entity-type":"item","numeric-id":3498485,"id":"Q3498485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1819659bfdf00ddea115d9dde96099345ca6c642","datavalue":{"value":{"amount":"+0.7991250157356262","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":"Q3525655$973C1755-16FA-4BB2-A093-A319DFBDE0B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525655"}}}}}