{"entities":{"Q3510843":{"pageid":5540747,"ns":120,"title":"Item:Q3510843","lastrevid":50400185,"modified":"2026-01-13T23:35:05Z","type":"item","id":"Q3510843","labels":{"en":{"language":"en","value":"Quantitative Model Checking Revisited: Neither Decidable Nor Approximable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297077"}},"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":"Q3510843$673CEE3F-AA1E-49CD-BA9C-CCE07DB5E587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e09adad46accd773fe0777da1e7cfbeba1c7ce14","datavalue":{"value":{"text":"Quantitative Model Checking Revisited: Neither Decidable Nor Approximable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510843$D3E78A03-1F07-4042-9A48-D1F578E12C5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14a5df756f7d3d796268f4b333cfde29a56d845e","datavalue":{"value":"1141.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$32CAF282-1C08-4C4E-A55F-FA90BDB8B3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fbe91f7b3887f5d8864c51726ca4968456135d","datavalue":{"value":"10.1007/978-3-540-75454-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$9873A387-BC34-4631-9DA4-F178FB5D293F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5a88c9258d1d7eeba3f936cd26eef9a02ebfd9","datavalue":{"value":{"entity-type":"item","numeric-id":2453110,"id":"Q2453110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510843$D5EDE3CA-81A0-4F36-9728-116DFB8F75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44fbc514ac4414d1f77b758348bbf20c72a9d00a","datavalue":{"value":{"entity-type":"item","numeric-id":1391790,"id":"Q1391790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510843$C8F6B6DD-FA4F-43A8-93A3-F1AEF751ACC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510843$3C266990-A6E9-4910-86A1-9761D8AFAB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-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":"Q3510843$95F544DB-EA8C-4A06-93C9-B827A28EDDCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$446B3698-4917-466E-B3D1-A47830A2BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$70C0554B-EFD4-4DA6-AC75-5E62BD0F6BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae65832b73161aee0b5374e16aee1836ee71cc8","datavalue":{"value":"5297077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$33B65579-BB47-4053-B9A7-98858627E138","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510843$E1FB8F2C-526A-4409-BC24-DC054F9B3D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510843$F940B675-6CB6-4974-A5A8-9D1C6C94D860","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":"Q3510843$BF47A25A-ACC8-47CC-BF2F-49DF469F3E21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e365eff7aec74f963a8f0b008f09c823a5dc9fc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510843$3068BC8C-45B8-439F-B86A-05C5FBB37EB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4e64e9df8ad23c24e7d5759d00e8cabdac46bf2","datavalue":{"value":"W1851152565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510843$590A5598-1577-45A4-8DA9-B9AF88453FB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f0b52267ac5834f67f270f147032241093568d","datavalue":{"value":{"entity-type":"item","numeric-id":2453112,"id":"Q2453112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d18d3500b0cc63b1f2c5f8491e6d8640ad7ad2f","datavalue":{"value":{"amount":"+0.8393587470054626","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":"Q3510843$D9195BBD-55EC-4B1F-9DC3-CFCE97541B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c309999bbf974b7132c51b3b41f6b52e6548b44","datavalue":{"value":{"entity-type":"item","numeric-id":3651281,"id":"Q3651281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5712dc8066afeb571c9a2245eb3246cda283be94","datavalue":{"value":{"amount":"+0.7838754653930664","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":"Q3510843$C8D17DA9-1AC8-40C0-AB6E-087DB7CF1F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e826a71ca0e28ce4b9415646b12f1570a23b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":2849998,"id":"Q2849998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f47f3c0fc9d81dbc05f93492fa51ecdf9014730","datavalue":{"value":{"amount":"+0.7640674710273743","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":"Q3510843$190C6888-AB78-40EC-86DC-EA5CFD4B221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af5042b465403e103f111c49b579e1259bf2c55","datavalue":{"value":{"amount":"+0.7606831789016724","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":"Q3510843$ED0F9764-235E-49B4-A36D-81E662261058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ed0f5464968f1c3ddbe9cd1c73a72a4f75dde7","datavalue":{"value":{"entity-type":"item","numeric-id":2848656,"id":"Q2848656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4772997ba64dbcfd93d076a9f74fe85c878b15c6","datavalue":{"value":{"amount":"+0.7571110725402832","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":"Q3510843$14557255-6CC4-4191-B9A0-12D74DF84F16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510843"}}}}}