{"entities":{"Q3457975":{"pageid":5237375,"ns":120,"title":"Item:Q3457975","lastrevid":52409489,"modified":"2026-01-22T14:18:06Z","type":"item","id":"Q3457975","labels":{"en":{"language":"en","value":"Exponential acceleration of model checking for perfect recall systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517175"}},"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":"Q3457975$5E0C96A1-6258-44F0-AD54-E3933BD7CF9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43873d65cae5701699cab2f3a303e3f3639547cf","datavalue":{"value":{"text":"Exponential Acceleration of Model Checking for Perfect Recall Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457975$54743190-5AA9-4233-B06D-439537C08F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8aee31ff0336d815e9f27a348ff9869f96bfdc1","datavalue":{"value":"1336.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$4943A386-436C-4714-A7F5-EFC35C111178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8031306a94dfa98c42cd307a5b2fd4127c8934f3","datavalue":{"value":"10.1007/978-3-642-29709-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$D9C130B5-2815-4495-BF68-3E40D4B73581","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457975$92A7B332-F44A-4971-9749-C9F392045C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-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":"Q3457975$34C8EE09-BD0C-4BFA-A3DD-C9B4431144FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$C4A1A383-4930-46CA-9DE9-9AA695770F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$3134ECCB-1B60-4606-A22C-9EF891208834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$B91A0B3F-B2E6-4D59-9C31-4C4A991C4CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$C4C599C4-C1C5-430B-94F2-2FC711861F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$586D21FF-86DF-4572-95DE-7AB200DCA1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$55A2C7CD-B9E0-48CA-9E63-1F50D6DC8915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$AEFA2011-58F7-44DF-93FF-AED4A061EDE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3a1ce1bbb60aa821c3e394cdb10479e4cd82ad1","datavalue":{"value":"6517175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$11BAB7AA-C175-4535-A091-F952EE577BAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af188f1f71c2fe27b546a4fa0da4c3f7bebfb45","datavalue":{"value":{"entity-type":"item","numeric-id":2145266,"id":"Q2145266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457975$4C31E478-346C-493D-860C-8008937C717C","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":"Q3457975$7D3846F0-52A5-4EF0-9CBD-BF774AF7A6F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679c2f5703a3a0d5c1294207a08ae6589a0de4ee","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29709-0_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457975$26EBD193-F215-4F74-BA8C-16BB1FE4F84F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88404f3ab883349598d9c3ba31a6444e7945df9c","datavalue":{"value":"W177403405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457975$341B70C5-8971-414C-B632-F25A763C2F1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93def798b2c81427413da3d4426e635477e54de","datavalue":{"value":{"entity-type":"item","numeric-id":1938921,"id":"Q1938921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001ad96e3161e10dc87bc443e1cfb36a673e949c","datavalue":{"value":{"amount":"+0.913460373878479","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":"Q3457975$EBE7907F-7D39-48E8-A82D-A083BFDBE208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39743f77185560a377781cc91bf41d36750009ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89513979a37d0b67236759938008b5f658122fe","datavalue":{"value":{"amount":"+0.8428491950035095","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":"Q3457975$C3000E38-AEA8-4D46-973B-A5AB0EB43093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fab5c39820ad63d8e9609509442a6b7e92c5a23","datavalue":{"value":{"amount":"+0.8245383501052856","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":"Q3457975$C8722127-8EAB-4D5E-BB56-63C71158A420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261f1e6c5939fc8e292fdd13d0068fa1046f0a5","datavalue":{"value":{"entity-type":"item","numeric-id":5486072,"id":"Q5486072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2513d6f44ab3a70acd45251b62d0b7a5cba622","datavalue":{"value":{"amount":"+0.8165353536605835","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":"Q3457975$7EDD75C9-08EC-4CD3-910B-918EDB93963C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997af5c7e27fcae73d7075d665cef4ca756586f4","datavalue":{"value":{"entity-type":"item","numeric-id":5434507,"id":"Q5434507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fa3e95b634f6c2645f5d8871b0ad54a3821303","datavalue":{"value":{"amount":"+0.8095836043357849","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":"Q3457975$F5FCABC2-E8D1-4562-A56D-E245E6B00998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457975"}}}}}