{"entities":{"Q5005159":{"pageid":7034736,"ns":120,"title":"Item:Q5005159","lastrevid":54057896,"modified":"2026-01-26T04:19:51Z","type":"item","id":"Q5005159","labels":{"en":{"language":"en","value":"Parity to safety in polynomial time for pushdown and collapsible pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378374"}},"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":"Q5005159$F21BA2BE-4393-40E2-B585-7CB9AB330E77","rank":"normal"}],"P16":[{"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":"Q5005159$CE1C1AE0-B5DB-43F8-B113-21EFA071B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$7620001C-5036-4B0E-A75F-B425DC389652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bc267d379975c0086b94e9f19daa1c5d576756f","datavalue":{"value":{"entity-type":"item","numeric-id":4636590,"id":"Q4636590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$F6AFB098-3759-4B46-9311-C0BBB3B4D845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$EBF5A152-EA5C-465B-A861-374BFD533B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5005159$429216AC-B62E-4ABB-9D5B-702940213CB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d422b852f55782e2dea05bf47357bf341e7d6053","datavalue":{"value":"https://arxiv.org/abs/1805.02963","type":"string"},"datatype":"url"},"type":"statement","id":"Q5005159$17FD564B-C1A4-4B1F-BC8F-87A8FDE31833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005159$AE15B9A1-E9EB-4A55-ACED-3971FD98457A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f29c21b4f4b6fe1cd6e8cd3e9f05ae724c5746","datavalue":{"value":"7378374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005159$F9FE7BB4-9D27-486F-93CA-4FD287102760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$4771A999-547D-4D8F-A555-EC86372E6119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f1baf772c120022d33fca51f1bc6d89b6da42","datavalue":{"value":"safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$52C06B0E-F9E1-45FA-806F-A63305053C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$26CDF56C-0869-4590-9D26-BB08236884EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4c06aaba50dd9a7dfad3ecf5483afafd9556ca","datavalue":{"value":"collapsible pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$21B5ADD2-9C07-4CBC-B62B-4F4640CA2869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79b822a0d22ade9dd3983480f17f2ae01ee86295","datavalue":{"value":"higher-order recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$4639F492-A601-44C6-819B-A1A2AC684268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005159$67F1B963-9ADF-4CC5-BF63-DDB5A961BDB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38ff53837896e0a2b555c23cf73374272fd5a663","datavalue":{"value":{"entity-type":"item","numeric-id":31831,"id":"Q31831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$7192CB1D-4122-41BA-B510-5BF497109FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c035ec76607a05dd704ef71fa48c741fc21da69","datavalue":{"value":{"entity-type":"item","numeric-id":33501,"id":"Q33501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$FA1C5664-EAA2-49AC-AE85-FCECA883FA01","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":"Q5005159$34EC1858-4196-4832-9576-C2FD79B675BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abc9bd837ab8b0bcca67e88ca9afbb772dbf1a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$23785070-DB95-4B19-A170-A9972D941363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b17368f3930623ed15c8952fcff2b0e7c9d58c0","datavalue":{"value":{"entity-type":"item","numeric-id":3165948,"id":"Q3165948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$6BA66CCA-E995-4378-9ABE-3B693F9DCDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd70181a109c9c53308b7092100e6ab2212aae2","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$90D09D32-4744-42C7-98F3-1134FA1C526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$79AE3CF1-A764-4A33-BC20-CC1FE867B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675683968dc28118a062ab99ffebd45f865003db","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$6411F618-9CD2-4B08-8DD4-D083C81F7CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37a78c90c339f054eefdad434a464e87238fe7b","datavalue":{"value":{"entity-type":"item","numeric-id":1183602,"id":"Q1183602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$94E30014-A2BC-462F-ACE5-2484F4D0A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0db601ec7bcba488c8b8b2b074b81174ee6ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":4635874,"id":"Q4635874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$3006B2BB-C3F0-46A7-B82F-F7E598C9F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5929718a7ff8bd50169581d25854bcf96420266","datavalue":{"value":{"entity-type":"item","numeric-id":4986514,"id":"Q4986514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$4E2B57D0-6880-4162-ABE7-37518BB718EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc53907b4b7319955262f79b2d5c140b8a420220","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$D124F408-4ED9-4CA8-B6CF-395E6398CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b665a3d5bd4c237eefe65a7de574437410bf835","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$BF5E9E61-F3A0-43FF-B179-5D9071F2C09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cfc9721e667f943208ff3ec343cdc00460182e","datavalue":{"value":{"entity-type":"item","numeric-id":5144638,"id":"Q5144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$33D70266-9790-44D2-A5E1-25DD8BDD008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$0B514B53-356C-4680-864C-2D9F58C316E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a8847c9c5d88741bb0558d3aefd6f771aac637","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$C1F8D7D9-43BB-4394-8A5C-5F6F5194A400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$9796FCAF-F30D-4D3A-B089-B70D5A5FE7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$66603023-1A7B-448D-AE6A-FFDB29C8512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e565e03b57304d91468b39467bde71d8811efce7","datavalue":{"value":{"entity-type":"item","numeric-id":2852018,"id":"Q2852018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$AEC3A0A2-F8D2-4040-9C64-44393632880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c318ea7ba0dba2b28840f72f1e2f13ed0e04ad7a","datavalue":{"value":{"entity-type":"item","numeric-id":2789057,"id":"Q2789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005159$7396587A-899E-44BC-ACD9-994A20147D4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7142ae38203f8a6301de8f9b8124885854ddb4ff","datavalue":{"value":"W2964194240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005159$3E14399A-C1BF-463B-87C3-A19B839A5977","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e5cd5b22dd574d4e4d06a7008fdb5db157916c","datavalue":{"value":{"text":"Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5005159$5EC73887-8B54-4F1A-B76C-BE81B457C3BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d39531398e5f292526c83ded4f151cbc527ae3","datavalue":{"value":"10.4230/LIPICS.MFCS.2018.57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005159$CC0DB9F6-AF56-4C68-9466-C712862D6BDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42456dd2611e5714ab0fce53f151074213daea58","datavalue":{"value":{"entity-type":"item","numeric-id":5034224,"id":"Q5034224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9b72642556efa63a9a93e51c2de53ab464936d","datavalue":{"value":{"amount":"+0.7965409159660339","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":"Q5005159$1B5D7266-1FA7-4A7A-B64B-EF3D3EC31E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7f1dd381f2b5db85f2d0a8386b2c2963fb9ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3184687,"id":"Q3184687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5d53f3da323bfc370c061937564d8e57bf6ac3","datavalue":{"value":{"amount":"+0.757979691028595","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":"Q5005159$FFB0B174-E38D-4E61-AEBB-12EAFBFDF783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa54c2bc9d971832ce0fd36244065039d2f932e","datavalue":{"value":{"entity-type":"item","numeric-id":414902,"id":"Q414902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d10948ad96b4b455c476d00c46c4b043d03e57","datavalue":{"value":{"amount":"+0.7552599906921387","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":"Q5005159$CFD087BC-A472-479C-807B-B79AA0FD4FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7f33a7cb05d6e42ded618be2c218474f55f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":1656552,"id":"Q1656552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd2cf00609c56cccec9e0dd5aa7d5d687411f2a","datavalue":{"value":{"amount":"+0.7535360455513","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":"Q5005159$1BFF155D-7190-4142-A311-82EE43F28ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87266fcb7a1ccc8b8e5b3433438fb4337e68b40","datavalue":{"value":{"entity-type":"item","numeric-id":4964720,"id":"Q4964720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959dba2ca975e21ff3019cde48b2f6ccd1a4da9b","datavalue":{"value":{"amount":"+0.7534875869750977","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":"Q5005159$B74DAB80-A28D-43B1-A6EB-E0728AEA586F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5005159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5005159"}}}}}