{"entities":{"Q3460552":{"pageid":5239952,"ns":120,"title":"Item:Q3460552","lastrevid":58191303,"modified":"2026-04-04T04:25:45Z","type":"item","id":"Q3460552","labels":{"en":{"language":"en","value":"Explicit model checking of very large MDP using partitioning and secondary storage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527546"}},"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":"Q3460552$3FDE5620-DF07-4C7F-BD35-D162F18C5B22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9236691a9aa1e7cea1e05fd52d17ab5ce6d4b4d4","datavalue":{"value":{"text":"Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460552$B1846396-F663-4944-ABE2-41CD5F4BBF0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3447c26a11dd93eb90e946791d33c8618fabd920","datavalue":{"value":"1471.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460552$6EAB22DA-7616-4302-A3DD-03A7E763206E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14818812640b9175e5a59599f3babbf0bb8c88a8","datavalue":{"value":"10.1007/978-3-319-24953-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460552$D392A804-780C-4D15-BD48-7F424BA259DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460552$08D79F32-23A8-4F65-81D5-6376EAB493AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460552$04EDA79E-AF7F-4BFC-BC97-A1CC456862B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460552$A2D09FB5-B452-4BC4-8AAC-7BE71B236786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460552$0DBBF500-635F-4818-8F49-3979C29B177B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89753ff0fa5c130e46f184cd570b334f562c1797","datavalue":{"value":"https://arxiv.org/abs/1504.02861","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460552$AB02B1C8-C792-4953-8C9B-AA7FFAD3AE79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460552$5D738E21-4755-4D96-A49F-2A59D1318F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd76fdef9179f41e9ae710a7a71ae40fd50451bc","datavalue":{"value":"6527546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460552$438F9D89-B822-4298-8551-3583C0B9FBA6","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":"Q3460552$FA6ED83C-124E-4FD1-AB9D-89D277C47A3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ed0c646fe401e083796a2d9f94b8ffe1c24abe","datavalue":{"value":"W3104074232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460552$C017D067-450A-47C6-9F6D-8E533C6E51F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db776630a9cbe48edf4009928d93f83f9def1ac","datavalue":{"value":{"entity-type":"item","numeric-id":2431769,"id":"Q2431769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920b353e80f76e71f60b3841a3f93a0f8c3c8016","datavalue":{"value":{"amount":"+0.7576488256454468","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":"Q3460552$246BCA21-66AC-436F-A28B-AFDC36DA249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cb12484acad4a5cec02f8943b908d2770d4e83","datavalue":{"value":{"entity-type":"item","numeric-id":5703783,"id":"Q5703783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a159ae900a1297a9ff51e25aeb752b6b54936c7","datavalue":{"value":{"amount":"+0.7534152865409851","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":"Q3460552$6632D04F-7742-499D-B76C-E2E219BC818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70183baef9dfaa855bbe55f7cebe83b86eff0a03","datavalue":{"value":{"entity-type":"item","numeric-id":5394553,"id":"Q5394553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0387efdef495171091da718cf9eeae90ad4e75","datavalue":{"value":{"amount":"+0.7524862289428711","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":"Q3460552$6F73B084-393A-40C5-8BF2-01160A526E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fa1f416beb71217a58ce3e4b73b938dedf8301","datavalue":{"value":{"amount":"+0.7381380200386047","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":"Q3460552$2F2DBD2E-5F24-47AB-9C9E-FDC6945ED866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f914da2662830e59bb75326662547b37c978ac04","datavalue":{"value":{"amount":"+0.7351550459861755","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":"Q3460552$12C6C604-B1CD-4F65-A6B4-73C538957628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460552"}}}}}