{"entities":{"Q2373715":{"pageid":2384458,"ns":120,"title":"Item:Q2373715","lastrevid":50129759,"modified":"2026-01-13T06:00:33Z","type":"item","id":"Q2373715","labels":{"en":{"language":"en","value":"Complexity results on branching-time pushdown model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171339"}},"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":"Q2373715$2C907EE6-4598-44EC-8EB8-13D5359A28E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86ceeb1361de5ff3f18c84c62772e93b2a86f656","datavalue":{"value":{"text":"Complexity results on branching-time pushdown model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373715$7F7E32A2-7A45-4468-858B-378DA5623558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5226acdf76da0aa30db2b3365d24fbe23987a737","datavalue":{"value":"1121.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$745B78D8-1500-42F1-AF3B-3B4CFC09CF49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$4FDD6B66-4E32-4EB2-B4CC-87EC0FCA21CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$2CEFFA55-DFA1-4EEC-9CC9-3781C49E96B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373715$A779B672-5D0A-4E4F-BDD0-45C0C55BFFC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$4A88DE2D-2004-46C2-8CED-899622C398BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$B198CF01-407C-4F4F-8B25-1386C964ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$FA81A2A0-5516-4CE0-A4E9-E1F002757D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5696dafebdf419ecc9753e5651cae2dd0d6fcb0e","datavalue":{"value":"5171339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$353E2539-94ED-4763-BB57-8DCCEBB25BC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373715$8082373F-242E-47DF-9C7C-19F31BA859C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373715$ACF1922A-73AE-4E1F-8B6B-1C04EABCFE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373715$39BF192A-FAED-4B19-9CF6-14D5EAE987C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f10d822ee0bb6447024b40b7a2bd95e2105700fc","datavalue":{"value":"regular propositional temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373715$FEAC22EF-331A-4E0D-BC92-7FD63FEDCA6D","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":"Q2373715$998F6A96-48E4-4C6B-839E-7F9EE4AD35DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c06297bb4c028a81b4f231aa6fd7b34b48bf8bc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.03.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373715$8865CF6E-BA95-4896-A598-3420080D4BE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa5d31b6d9aa3f88e7f447c433601d9ad9d057f","datavalue":{"value":"W2087431796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$A2F9DA69-7163-423F-B7D5-84E16C394070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$45213551-54E8-4A47-8CC7-8E4CB0952538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$811ABE62-E1B1-484C-AF8A-0D04B038CD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d3f485a32a8bcfe84649e1d19b25d8ab1be58b","datavalue":{"value":{"entity-type":"item","numeric-id":4818835,"id":"Q4818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$DB221903-D252-4C46-87CF-E6771AFAEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$A9CE7694-9CFE-47AF-A552-C4FBBDADCEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$C6757446-3BB9-4844-BF87-B84923248760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$2E6436D8-61A4-45E3-AC2D-832414CB7D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$CA0361E5-E120-468C-9C09-A4A59CEECC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$0BC759D9-AF8C-4F96-9EA3-D488AF5BB4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$CEA95319-BB45-4FF4-93E7-F5412E62D0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$8359CEE3-36F9-432A-9731-B97C4027B281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$E8A94745-C413-4039-B71B-CDA6CDEBF045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab8130d3aff9409c6a296190aadf3113874d3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$8552A178-61F0-4AE3-B83C-0D3B78359F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$562F455B-D24E-4AB8-9FEA-D276FF6AACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$636516C8-4AAD-4780-B2D6-6CE56EC86E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$A71259F8-43DD-4170-BAD3-627384CA2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$68D0C846-0DEA-4391-8139-BC778585048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec39e0aae078ea86b2a7192e600175bfda00e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$B8D92829-9123-4244-9C6E-46600F7BC25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$1C894B9F-3B6F-428F-BCED-9E05F8A23E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$0C550CB1-808D-4642-A49E-1F0D611FB9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$2F6D3591-10FA-4F0D-B80F-CA8F38719037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373715$1442248B-1BD4-47BC-810C-E608B767F8C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"080da0ead47a1d9d696e09a82c743505b3ce1bd4","datavalue":{"value":"10.1016/J.TCS.2007.03.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373715$FA8CAB60-FCA7-488E-BD2E-58D6F14A8847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47a629199f8fe94bb2f0ea4c5130a6c745bf0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5898610,"id":"Q5898610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1447d99b40ee68625c77d4a0d3203422dddbc147","datavalue":{"value":{"amount":"+0.9918066263198853","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":"Q2373715$F58EA420-47E2-4DE2-96F3-37D31479BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b4a7193e754b958f627691ac7c0648cda369d9","datavalue":{"value":{"amount":"+0.8628889918327332","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":"Q2373715$8615A536-E677-415F-BD0E-6DA9017F7F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbeb5be04b71fcbff7e31914cee92c32b38f1116","datavalue":{"value":{"entity-type":"item","numeric-id":5179051,"id":"Q5179051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93821fedf201f5686973ac916138a9fa92755185","datavalue":{"value":{"amount":"+0.8604407906532288","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":"Q2373715$51942FF6-E701-44CB-B2A4-1A89273133A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e76549a817b933483b9daa432aa031e220ae87","datavalue":{"value":{"entity-type":"item","numeric-id":2424879,"id":"Q2424879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2ba38b9e341e9844bc54f6ef34759f26a94323","datavalue":{"value":{"amount":"+0.8450707793235779","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":"Q2373715$51D68174-3162-4129-8929-80F3374D444C","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":"df9b37213303e86d4e14f40f3598d8e18be2735a","datavalue":{"value":{"amount":"+0.8363946080207825","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":"Q2373715$B1627B30-4068-428B-B152-F653B86992FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373715"}}}}}