{"entities":{"Q5271053":{"pageid":7300628,"ns":120,"title":"Item:Q5271053","lastrevid":40958943,"modified":"2025-04-15T18:49:04Z","type":"item","id":"Q5271053","labels":{"en":{"language":"en","value":"The Complexity of Model Checking Multi-stack Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738796"}},"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":"Q5271053$43A78569-912A-49CF-9F8F-51E91491CFB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a43942f29ee7b8324b0f052317c20ddc16faafa2","datavalue":{"value":{"text":"The Complexity of Model Checking Multi-stack Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271053$74669FCA-403E-43C6-B37E-3110BA7D3EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fccb420ced490277857fd3c26bf60d86b40aedcb","datavalue":{"value":"1366.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$1FB6CA66-1A27-48EE-8346-08B8A5AF530B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2de693cf5b49bedea02c9c3d0304b3199846f0e1","datavalue":{"value":"10.1109/LICS.2013.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$DAF82507-A6A9-43A1-BF4E-58E131EC217D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271053$C4D938A6-DA20-404D-B9A2-D4B173336559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e2ea6264713ed632011853c9fecdfff9f79606d","datavalue":{"value":{"entity-type":"item","numeric-id":2398212,"id":"Q2398212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271053$197AFF4B-96C0-4542-B404-566EDAE33E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271053$388A1A13-B5EB-40E3-819D-262D482F1F5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271053$C03A1283-EDF5-4C95-9E6D-0CEF70223F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5271053$378405F5-604B-4E25-8D38-C4AE06D19F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$1FCD62D9-1CC9-426D-B253-E32A35EE2032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$C8043AB3-F038-4B41-BD27-498196B43678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$02DC4F95-93A0-429A-9795-00899F51B36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$F9A77A1C-DD07-4AE9-AC53-A57F182E3A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$5444E073-861E-465D-9298-A507BF761374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91935742a140196687f894c66cd65cb75b5f0050","datavalue":{"value":"6738796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$0301114B-D676-4567-969E-1E796F707894","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271053$7F615293-9E41-4927-957B-ADD23BB6A0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271053$C5C5A758-A720-40D5-BD6E-6D89C730B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271053$9F56B17F-5436-4798-98EE-AD239D7149CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271053$09FCE2E4-565C-4F99-ACCC-9F72AF389C2A","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":"Q5271053$BF741B4D-67F2-4B30-928F-99FC5637FE83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8581315770e5e12b381d069e5d01b83b4fbe9de","datavalue":{"value":"https://doi.org/10.1109/lics.2013.22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271053$30989B73-12D7-41A4-9B80-BDC9C85C34D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"591ed0c7add058007251905c057ab66783c2992d","datavalue":{"value":"W1974068220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271053$5DDE7E39-C63E-4D65-A9C7-28FC4D4F1890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad492fc4626cc547a2b95164de5e1990eb50b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5271053$63027606-D353-49F0-9AD6-4D841B706513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592f8557916ba7afa76be517b7fd73bca36f8c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2866322,"id":"Q2866322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5250f798968593479b92cecfa92d9f6de2de2115","datavalue":{"value":{"amount":"+0.9084946","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":"Q5271053$F47F3EF3-38F7-43CF-B49A-CF03D8553C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2237d82a0d5ddebb4e814bcf1026526d02ec85","datavalue":{"value":{"amount":"+0.89809155","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":"Q5271053$809B0D5B-ED19-4A50-8E0C-81AFDB1F1C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c4f105cae194a23b70d6039cfc54da41c307e2","datavalue":{"value":{"entity-type":"item","numeric-id":2982239,"id":"Q2982239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabdc09cbceda64211bd13eadbe848e4a98d92b6","datavalue":{"value":{"amount":"+0.89721376","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":"Q5271053$ABF3C421-9D2A-4F86-9E43-1C0CDFB7AFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0518e1dc37697e028468e6c14c632147b817688b","datavalue":{"value":{"amount":"+0.89501727","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":"Q5271053$46F0DF0F-5375-4159-8264-7177AA0A61F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab3cfc5ccf1c2a3e4814d5ac0d40c2d339527d","datavalue":{"value":{"entity-type":"item","numeric-id":2958531,"id":"Q2958531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1711c0b097ab33de9d5ce79b4bbd2b2825ab25","datavalue":{"value":{"amount":"+0.89214534","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":"Q5271053$2498D1D5-E967-4429-81B0-80D58DDA6B31","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":"6d56af218f1cb9c8d3630652ae5bed6652889267","datavalue":{"value":{"amount":"+0.8913858","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":"Q5271053$99876CC6-1A5D-40F5-82AA-C488071C7B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822ffcd1cfc0c408f2405e7079d92040be30bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3023539,"id":"Q3023539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd1b87cf6a1c4541585f79f393fdb74f9e909fb","datavalue":{"value":{"amount":"+0.8874039","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":"Q5271053$451F58FF-9D21-4ACE-B30A-0204BE343814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f2b1d3bd200409369e68178cc9809d59dead18","datavalue":{"value":{"entity-type":"item","numeric-id":5448763,"id":"Q5448763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd4be91248967ba93b05953cc99c757df118ea6","datavalue":{"value":{"amount":"+0.8855811","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":"Q5271053$2A84E4BC-8F0E-412D-B48C-D867324D8540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271053"}}}}}