{"entities":{"Q3172883":{"pageid":3183593,"ns":120,"title":"Item:Q3172883","lastrevid":51341888,"modified":"2026-01-17T20:25:31Z","type":"item","id":"Q3172883","labels":{"en":{"language":"en","value":"The complexity of reversal-bounded model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954762"}},"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":"Q3172883$DA54F421-7D69-47A5-ADA8-220DF00BC16D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d194029b2c6bfab35daa186badfc0c667ba83fa","datavalue":{"value":{"text":"The Complexity of Reversal-Bounded Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172883$C91B343F-2DED-4A6A-8C40-D0D1640A93D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a73310b7cbb0eae2c722a376a767bc1cbcbe49f7","datavalue":{"value":"1348.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$4EB801CB-8B31-424B-83FA-146DB44BA0F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aadb8a682031c6c16783b19746f7aff293877b9f","datavalue":{"value":"10.1007/978-3-642-24364-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$AA729ABF-E7E5-40D4-98B5-8AE286B92805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$AEA5C06E-76E0-4040-B0EE-743C0A58B666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$E640C540-CC17-4A8D-8C76-2F1333C4CBE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$B5394299-6A5D-4557-934B-D7307BD5835A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172883$1E46852F-4C09-4093-AE50-74CBC02213E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$61E3798D-8693-4DDB-ABDC-513F5C458505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$66A17CBC-1CBE-4F8C-A727-91BFFA4EE9CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19d9c36263fa35c05e0f56a06d7d19b2ed5bb227","datavalue":{"value":"5954762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$9BF79BBA-F4C6-493E-A070-B83FAD72B7B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$0D04BEEF-BD14-46F3-ABF3-8AEF3C7A35C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$4AE08EC4-0AAC-4EE0-8622-B9E03DD4C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4407310e65587527ab82e9486c00f66260c81ac2","datavalue":{"value":{"entity-type":"item","numeric-id":19330,"id":"Q19330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$7C0A3D46-0C34-4203-AEF1-462B686D7A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50d946d9145f3178c9a299dc3d3af0478c3d017f","datavalue":{"value":{"entity-type":"item","numeric-id":33080,"id":"Q33080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$6E90F6D9-4D64-49CE-A0B0-816142AAE502","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":"Q3172883$9EFDA6FC-C48F-469F-BEA3-C793E58F903A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd5da7433258d24a8ad122edee24d81fb3b00ae6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172883$5CA576E7-DDF0-4574-9E8C-198A165BB108","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b899012426579653a446a47ad8af96df6424c779","datavalue":{"value":"W80793323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172883$C5DC018D-3C69-4FA8-8D19-CF4E4B8D6F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$738B9E25-48F3-4C40-93EE-9E417C54004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc9bfb11b1d511cd45fd080c66ab1b5b1bc418f","datavalue":{"value":{"entity-type":"item","numeric-id":3172883,"id":"Q3172883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$E63CB4A7-9827-4830-9ED1-E57703D05C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$C8681C25-9144-4F3A-BDB5-EB8368A106EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344a0d40236936d31f19b3365767d306698725ab","datavalue":{"value":{"entity-type":"item","numeric-id":4474213,"id":"Q4474213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$1D4C5E21-5DA5-488F-A9FA-801A34C6DBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$55D478BF-3DC5-470A-B7AB-373F922F5E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2a494c9a9fdd0a4d015075a42ef197c6ddc5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$76DF7863-CCE9-45DD-B080-4ACA6250266C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$8C45F548-0252-40E3-A2D8-E5E8CCC88DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb19308c778d11143807eb1344f01725df3a45a","datavalue":{"value":{"entity-type":"item","numeric-id":1094140,"id":"Q1094140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$40A7FE03-B46E-4F35-9CD9-AD9F8794CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6787cf19c39e5553bcfd0a20d96a921c9a185dab","datavalue":{"value":{"entity-type":"item","numeric-id":4536602,"id":"Q4536602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$98F3E6DC-63D0-4B2B-B71D-D8581DC2CEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6041a480921e1f5316d9caafb85b6e72750ed7e9","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$7064D990-20C5-4076-A759-A0C16F49C4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$0F2C9C33-A7B4-45E2-AF1D-DE22E282DE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bf8c9558bca3e0f8fae1fbf6604d3b0e30b3b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617759,"id":"Q3617759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$1E307CF8-2F54-41FC-8104-13308ABD1621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a29614989836674f45bb886f19d75545ab86967","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$F713C1AB-568F-4E2B-80DC-3E68099C5003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbccbb9b9788f4a33945ee539b10b52d6047d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277711,"id":"Q5277711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$EAE55335-218B-40CD-A677-9BD867079996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$A58C62A6-8733-4A68-A9FB-4644EFC6618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$D0392115-3B70-4C3B-BB6D-773647418AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$F5376BA7-871C-4BA7-A668-90202276A968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bb2a60e9f6ffe181fe7ecda3a8c91cb637b1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3867162,"id":"Q3867162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$BD1E9F8B-3290-4667-BC97-8487D7F809B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9155dda6c0e9e97592adb650ed7a80509cbb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3557854,"id":"Q3557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$25FD3A79-4DAD-4439-9A03-C67B98C54C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172883$3D04D25E-5CBA-49AA-8B00-92ADD6135AB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7305df58d440e2cd573ba8ef43bc7026d32c45","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32668a11389e40345965aa5615c09e5421a6e5d1","datavalue":{"value":{"amount":"+0.8227072358131409","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":"Q3172883$847A31AC-0EB6-40E6-BE42-B7E30E7EC22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29f104c062d810eb205c185094771add2f78107","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ab8ca661ce6a5957d4c4497ca8ed57bea17a5b","datavalue":{"value":{"amount":"+0.7936956882476807","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":"Q3172883$4B290998-0263-42A9-ABED-C3476CE5CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f98120be9e6a59c6dfc61fe30e86f9fc9f0e40","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba31a8d82dbc08394703cb5ac8e99195ee28b65","datavalue":{"value":{"amount":"+0.7919849157333374","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":"Q3172883$5D489D81-5A50-4EEF-A991-0606653F28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f21fce301baba8c26c496c123925a5d8536b87f","datavalue":{"value":{"entity-type":"item","numeric-id":4474213,"id":"Q4474213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be26b01d00345ceb6259affff421ad7909f689e1","datavalue":{"value":{"amount":"+0.7769280672073364","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":"Q3172883$D92D3B37-0A35-444B-8118-9286AAA3394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522fe27fae911b9860320ffbea44e0f7e7a22dca","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0872e80a83e46f53c755df01f80740623c8b5a","datavalue":{"value":{"amount":"+0.7741386890411377","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":"Q3172883$74C16D7E-E8FA-445C-AAF4-4AA8BA80865C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172883"}}}}}