{"entities":{"Q3167009":{"pageid":3177719,"ns":120,"title":"Item:Q3167009","lastrevid":45594238,"modified":"2025-12-11T00:04:47Z","type":"item","id":"Q3167009","labels":{"en":{"language":"en","value":"A Saturation Method for Collapsible Pushdown Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101143"}},"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":"Q3167009$0D2F348A-EF54-46AE-B7F0-5521ABE69E4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61651cedb337c717313f7163a8964bd752416ad1","datavalue":{"value":{"text":"A Saturation Method for Collapsible Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3167009$7D9202A4-8218-4A72-BC2F-04797595A021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0068d436832ed8862354b7c958456e4c30703df6","datavalue":{"value":"1367.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167009$13FD0136-E09C-4137-8793-2264E9345B69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09bd325d7b85c048f27d44e45084edb221562f93","datavalue":{"value":"10.1007/978-3-642-31585-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167009$67D5C145-0A89-4BD7-A9A2-D1838B75D7EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dca4958752de6263198c03efb82abff4671294b","datavalue":{"value":{"entity-type":"item","numeric-id":3167008,"id":"Q3167008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167009$1E12678E-8440-43C6-A64F-8CC9042BEE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5156994f036338536fe53522d28414fb86006aa","datavalue":{"value":{"entity-type":"item","numeric-id":347387,"id":"Q347387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167009$D86088A2-8273-42A7-860C-09700C390424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167009$767BC2FA-A637-4642-A539-A33BA27F2A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167009$A8E306B8-0070-49EA-84D8-24415ED2A9DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3167009$CC7E8179-51C7-4450-B7A8-4F2CEB990BBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6cbd049611c29872719c16270d47690fbfe6cd","datavalue":{"value":{"time":"+2012-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3167009$CB7F0107-69B8-4F50-B58C-AB17E52077D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167009$F2B96941-67E2-46F3-AE13-0CE34C3ED156","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"712ae11538d77d6a89d59ce4b6e270ed6455de5e","datavalue":{"value":"6101143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167009$7241A3AE-35CF-41B2-A164-F9ED72D5B3CC","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":"Q3167009$3C83ED32-9127-4C1B-9A01-2DE80D4E21AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65e141ab7e71ea42f62e7018bcd8cde5779eb242","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31585-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3167009$F7A2ED81-645D-41C9-A46A-5EDB083B7539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef8079a6bc33ddd28d3a589703def51a52a65990","datavalue":{"value":"W2146549539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3167009$C8B96144-DF4E-4239-AC6C-479E2FE2AF59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d720cf6e6ef8e08cafcc0360064020c22269a5","datavalue":{"value":{"entity-type":"item","numeric-id":2963923,"id":"Q2963923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98744d462323ffd7adecfd3344a2d728d50ad8fc","datavalue":{"value":{"amount":"+0.8781232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$DCA08CB6-0DA4-49AE-8759-6CB99BE1B201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebddc40f5fc4192c8d2883213044321645f4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4649568,"id":"Q4649568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1ae5364b483780a6b5f59c2304e0e96fc414f2","datavalue":{"value":{"amount":"+0.85032886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$4ADFC8AA-6EB9-4C3D-82DC-790617FAD2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121a525aefc794a363673ea28ab81bd3d66b2408","datavalue":{"value":{"entity-type":"item","numeric-id":4994932,"id":"Q4994932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a63f9c75b6c7507ca6d99e23cd7c770f9fa812","datavalue":{"value":{"amount":"+0.8362201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$AC83A945-2366-4143-B8B0-01CFB1A493C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4da1f30b7a06788e5503d32caca7872a3a1dde","datavalue":{"value":{"entity-type":"item","numeric-id":532393,"id":"Q532393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b56d40667ff0ec47262cf6f3613124adcf7185","datavalue":{"value":{"amount":"+0.7994989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$01F6D770-3D72-4AFA-BDB8-D4B66591069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3409bd709d21d0755a7a5a60999f8514bb389865","datavalue":{"value":{"entity-type":"item","numeric-id":3613338,"id":"Q3613338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7a56d0d03244fbfa8081e4caecca0288b4f38","datavalue":{"value":{"amount":"+0.79727304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$50545A3C-E6F5-4173-9F7E-6A8C52B312EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2bb7941ee115289165450a0c7fc941891f309d","datavalue":{"value":{"entity-type":"item","numeric-id":5005159,"id":"Q5005159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d4319f369c4ccb5abc70307ff5b93089cca861","datavalue":{"value":{"amount":"+0.79352343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$461DE75B-3174-4BC5-8B9A-3B4AFEB2F6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f09a3907a84212a77018b6f8a853384657c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2908852,"id":"Q2908852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40a2cba72a003e77f011fa9a2d20d82cf7f84ef","datavalue":{"value":{"amount":"+0.79331267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$5BDCC135-5542-4044-82CA-BA536063FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90824894029653e9f2f338f674cb0169d8d45710","datavalue":{"value":{"entity-type":"item","numeric-id":1616395,"id":"Q1616395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c760e65231f873af48bfa5909b9a1a44512b5df","datavalue":{"value":{"amount":"+0.7915398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$BB514740-6037-417A-8313-66101724DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe494771449823fd2d02f8793edb1b7926d54c71","datavalue":{"value":{"entity-type":"item","numeric-id":2881725,"id":"Q2881725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3d9745a502e9392fdd79f967e60edd60cbebbc","datavalue":{"value":{"amount":"+0.7859543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$0A093BB9-2980-4914-AA03-9A912035FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9a0d8776334365cd4b9f40553a4a3d0b01d40c","datavalue":{"value":{"entity-type":"item","numeric-id":3483121,"id":"Q3483121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8677b0858662e42bcbeb2af8de4ca488f8f5962","datavalue":{"value":{"amount":"+0.7849458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3167009$80CB4AD0-BF0D-49A7-8FE8-5733DA9BA511","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3167009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3167009"}}}}}