{"entities":{"Q1884313":{"pageid":1895055,"ns":120,"title":"Item:Q1884313","lastrevid":69067791,"modified":"2026-04-13T04:22:52Z","type":"item","id":"Q1884313","labels":{"en":{"language":"en","value":"Combining static analysis and case-based search space partitioning for reducing peak memory in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112082"}},"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":"Q1884313$63A85435-C540-4614-969A-C0D5E968AEEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb990f367c5ef0b800cb455ccd0f60516a06061e","datavalue":{"value":{"text":"Combining static analysis and case-based search space partitioning for reducing peak memory in model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884313$9FA31921-6004-40BE-83B2-5F2E8B39D741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b585817a830ba3aa53020bc5da9b86a62888a518","datavalue":{"value":"1083.68519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884313$D9A5EE57-6DDA-4214-8A4E-557144A61110","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bfe192e43a53d42ef89c296f868e95e1ca7cf04","datavalue":{"value":"10.1007/BF02945465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884313$AA4EB20D-E7E0-4D6F-8D50-BCB8CE77812D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$B4F0D8B7-4F02-41BD-B1ED-6DF4F25F76E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884313$C9B4A515-9540-499B-B8FF-9217CE703F26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884313$403CCEF5-D942-4032-85DD-D2C1066BDA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884313$82C6DA96-351C-48E3-981A-0FAA881A1A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14f4cfda32b81ac570630ed12ec3460769e6a9bb","datavalue":{"value":"2112082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884313$13958B8C-09CD-4DEF-A59E-045FA5FB0E82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884313$04297686-1478-41C7-A208-E6CC3972FE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884313$E9CE2011-F398-4F1E-AFF3-3E31DF35149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91c19f36966a211b607bfe0a5174185de2710d4","datavalue":{"value":"search space partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884313$B0908541-E755-43B9-BCFC-C47605256DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884313$1F159890-71F2-4D2B-A5BA-18D52F4D5A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884313$FD70142F-993F-47EA-9205-B7AECBE6B742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$BEC14B5C-7F50-469D-9E3F-019F33EDC5E3","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":"Q1884313$B45D9152-5EDC-4C47-91C5-85FC463BDFC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf0b507843c2215e82bddf09a9a50f6a0f5c027","datavalue":{"value":{"entity-type":"item","numeric-id":2365568,"id":"Q2365568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$1461D5D9-F52B-4529-A23E-25220F1C6BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$9950953F-4448-4E16-9A06-8A7724C6BE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$DA85378C-8430-4DE1-AA3B-B7ECAC1DACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$2B34E2DB-E2A8-4737-B3B9-FDC8F047E46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$C59074E6-DDAA-4D08-93D3-FB4AABB132B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857dc82a063c3e8a5bfe609deb8248d276966a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856160,"id":"Q1856160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$138B7E16-3135-4E86-A2A4-D9F44F2D8910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$608650A7-3C4A-4D70-A958-00A923BCC1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442f45f3c18c8b22505978e31640898de7dd7261","datavalue":{"value":{"entity-type":"item","numeric-id":4817546,"id":"Q4817546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$66AB01A2-995E-41AC-A49F-DAD4C7262F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$B69AE18D-FC9F-4CF8-A254-6ED348E79DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1884313$24388220-0063-4925-BAE0-14206FEFC4A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da0f2089d3a977bd827f34d28fa4c869230200","datavalue":{"value":{"entity-type":"item","numeric-id":5394174,"id":"Q5394174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6871110651b02ec801563965dbfa27743296ffeb","datavalue":{"value":{"amount":"+0.7734804749488831","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":"Q1884313$69C83987-D152-4A7B-81E1-C282E673FACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45bd009a89f811dc912e645897689d07d6c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5897082,"id":"Q5897082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec6d16238757b53a16f89c81cf8ea350cc7d238","datavalue":{"value":{"amount":"+0.7104260325431824","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":"Q1884313$0C06AC12-3B55-4386-A105-BD85706E88E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"242abc884d777afc2dc4e5a3c2775498be873518","datavalue":{"value":{"entity-type":"item","numeric-id":2465733,"id":"Q2465733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545c841bf92c8e87877b187564c6519169b2a1a0","datavalue":{"value":{"amount":"+0.7053098082542419","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":"Q1884313$79E5CD69-00EC-4B67-91FA-AD8030B55A0F","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":"862c234ac0caacd73bcb4d4d3ae15b58e5bd68e8","datavalue":{"value":{"amount":"+0.6914206147193909","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":"Q1884313$A9ECFBF4-C299-40F8-8E8A-0B33CD2C7716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a95feb468441f3d112769a1623ea17ac180f36","datavalue":{"value":{"amount":"+0.6815451979637146","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":"Q1884313$856EC020-BCEE-400E-81F1-8EFB816730A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining static analysis and case-based search space partitioning for reducing peak memory in model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_static_analysis_and_case-based_search_space_partitioning_for_reducing_peak_memory_in_model_checking"}}}}}