{"entities":{"Q3647367":{"pageid":5677273,"ns":120,"title":"Item:Q3647367","lastrevid":50837636,"modified":"2026-01-15T08:47:33Z","type":"item","id":"Q3647367","labels":{"en":{"language":"en","value":"Building efficient model checkers using hierarchical set decision diagrams and automatic saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640653"}},"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":"Q3647367$8EEF52A9-BB50-4038-900C-E2B10FBD58A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"302821efef8c1f03d8dd4dc4644c9820fd5bac05","datavalue":{"value":{"text":"Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647367$4FC5217D-9EA9-4E36-BE18-177969AECD66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"010362e49e7617a6b69e351417352165af5792ea","datavalue":{"value":"1183.68374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647367$78011104-89F7-48A2-9AE8-2B6B5B85E489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5585ceccf9e61cc609825051d500e2256ec5050e","datavalue":{"value":"10.3233/FI-2009-137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647367$A976ACF3-89BA-4644-9D0A-45ADDDFD503F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53876be6511d046d15b4a51be3b28e3db3953720","datavalue":{"value":{"entity-type":"item","numeric-id":3510868,"id":"Q3510868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$A9677011-8C78-4053-B277-430845CEA02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58083c7cc0bfc34ba24bf6a67eb4c8044fdc332d","datavalue":{"value":{"entity-type":"item","numeric-id":2165224,"id":"Q2165224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$EAB2C99D-3C45-4FC6-BE91-00F5D05D0FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$CA05756F-F9E9-466A-A943-3E2B9AD9FAE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$3E012F8C-3432-4D2A-962E-9ADD3FE4BC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647367$4AAFD041-AC50-4B9C-B383-7D671384435B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647367$4510953F-B7F6-4450-843F-CA9865A54575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"046d298a812e3c1faa764c36f02bdb677aa61f76","datavalue":{"value":"5640653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647367$869205D8-5661-49F2-975F-7457D684CD0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e39a5db6d19cd5d00e2191296f96213f6e4f04","datavalue":{"value":"hierarchical decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647367$5605E01C-163E-4760-9B44-91D8DCB505ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647367$9FA9C0C6-696F-4D50-B3CF-97879259593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647367$F4B99582-2671-42D3-B942-96DDA7B56F8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a76487734f5754e0a86ff6ad283c2db5cebed5","datavalue":{"value":{"entity-type":"item","numeric-id":16283,"id":"Q16283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$A15C4A66-0C95-43F8-BAA4-7047A9FB7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89fb12d844f0ad33355e58c257e09445a80837b2","datavalue":{"value":{"entity-type":"item","numeric-id":16563,"id":"Q16563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647367$DD6D36DD-7EEE-4710-9EE5-7A8F73090DC2","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":"Q3647367$D00901DF-2E6C-4B1F-9D5B-6028FEAA6A58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acd97a4f7ae41ba51ce63b1fcdb70881688c24a6","datavalue":{"value":"https://doi.org/10.3233/fi-2009-137","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647367$B0F382EB-D134-4456-A4FB-5BB67D4801FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75b4c3857f82b9488e41d27c1133224eb49ad791","datavalue":{"value":"W1823120935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647367$4BC24A0F-8A22-4EDA-8B05-5DF8F8F9A6E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cee60056d4bc13c0627ed749866c868c1d2296","datavalue":{"value":{"entity-type":"item","numeric-id":3510869,"id":"Q3510869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb0b9c848d6bdfea3cfbe56ca420b2ccddc6f7e","datavalue":{"value":{"amount":"+0.929803729057312","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":"Q3647367$270E31A0-E1F6-49F0-BC77-8A3856FF1E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85dfcc116d1a9e05369a87275933300f5ccc59","datavalue":{"value":{"entity-type":"item","numeric-id":5479174,"id":"Q5479174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6471fe2255efc68212ea4f10de19486f4ffc0d3","datavalue":{"value":{"amount":"+0.8645293116569519","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":"Q3647367$E4D7717C-6CA9-49FA-9FF0-5F66F98A7BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4cf69ae1fff600f73b7cb0d6cbceab63d682e","datavalue":{"value":{"entity-type":"item","numeric-id":3617750,"id":"Q3617750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5cf02f99e592ac35d40bb7308e2aee89f2a6ec","datavalue":{"value":{"amount":"+0.8509300351142883","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":"Q3647367$B415D5A9-5D96-41EB-9800-DC4CC365C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae47174fd345a646f494d65b0351856ffbcf52bb","datavalue":{"value":{"entity-type":"item","numeric-id":2169116,"id":"Q2169116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a34b661be81cfd42b14d16193166fb0ba8897b","datavalue":{"value":{"amount":"+0.814202070236206","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":"Q3647367$0EEB4D04-C59D-4940-A877-B3B5BA3E100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b93febcbe0592b42ce9cddbc1ba8e712bf5502","datavalue":{"value":{"amount":"+0.757492184638977","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":"Q3647367$0404F9D3-B8C6-4726-8DE1-A7DFA5FCB467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647367"}}}}}