{"entities":{"Q3510869":{"pageid":5540773,"ns":120,"title":"Item:Q3510869","lastrevid":48876154,"modified":"2026-01-06T01:41:13Z","type":"item","id":"Q3510869","labels":{"en":{"language":"en","value":"Hierarchical Set Decision Diagrams and Automatic Saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297105"}},"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":"Q3510869$DA8E9E8F-B3AE-4DB3-A92D-AFF8F80DA835","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91127e7cd632b9e9c0ddf7d7117d075f8aa229ae","datavalue":{"value":{"text":"Hierarchical Set Decision Diagrams and Automatic Saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510869$542AAADD-B2AB-4588-B7B9-AA0F64EF9226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46f919307d6b7c6eb98c76bb532374ba94c12b71","datavalue":{"value":"1143.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$75EB3244-F631-4AD9-9D8D-71E4401798BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4786f7a38d8bc4720abe6fe79e242622ca331c5","datavalue":{"value":"10.1007/978-3-540-68746-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$303CA990-F6EC-4DC1-8DB5-6AF45C17F52A","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":"Q3510869$A3F8F3A6-531A-4E9B-8963-7680B527084B","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":"Q3510869$EE1BD65B-7B59-4A00-A8ED-081E6160E193","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":"Q3510869$FD25C2E3-A036-46EB-AF75-878683C7F612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$F5AFCB79-0D9A-4F02-A3B5-83D2F903CA3D","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":"Q3510869$D6B104C9-3F15-4D7F-BFE6-8D5CD8EB201A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$4E77FA93-C713-47C3-8F1D-F969770C3299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$C6601CAD-F292-4EF7-AA14-DFF0B8D12B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee8aec2daee5015f258f4c166480a096ac9be377","datavalue":{"value":"5297105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$59002D26-052A-4AF0-A219-BD5ED4EF6E57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab52c3ab0c0a1b4799bc52ed59ee406f2af7871b","datavalue":{"value":"Hierarchical Decision Diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510869$6AD6954E-C8BE-4BFC-8437-F0118AC0131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510869$7E168B10-5708-4937-9219-33870665B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1dc49e1675879d1f83fb3a5a018045e60870a0","datavalue":{"value":"Saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510869$2442494D-7070-4A8E-9B10-F5CEEA5D7EED","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":"Q3510869$29303F5B-C2E6-43B6-A97A-4A11F8D70A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$975BABF1-35B0-4CED-A25F-499B6AF1E598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$05D4D647-C7FD-42E6-A9B4-B83E198D595B","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":"Q3510869$15DAE22D-31AE-4035-BE35-17D0B4461275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e66b890c166b18f101c256712b9f632a186a6fc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68746-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510869$ABF6B76A-7A05-4B79-AC98-6784B61E84EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa9d2fa5d1f68b6a7ecc8b70c49bb99d73d6d4f7","datavalue":{"value":"W1543164169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510869$156AF5B1-6DAE-494C-BF3D-A8FA21AB89B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$E88D17EA-8276-4465-A58E-2B95D3D93B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$636F17DA-A940-4AFE-99D6-471CA2D6BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$DC293FFD-6089-4536-8EDF-76FD2F3E7EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c50dbce7b9571ca4e1d413e71e44377525dbc44","datavalue":{"value":{"entity-type":"item","numeric-id":5096372,"id":"Q5096372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$05F81E26-9E88-4E4D-B27A-E8C35F117D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47650ce464fe5007b4b38448155ea201ded8748","datavalue":{"value":{"entity-type":"item","numeric-id":4417940,"id":"Q4417940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$99575F69-6537-42B9-BC81-1A4B9E9218E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d54c557b221a13ddb280bf721242296d44c75a","datavalue":{"value":{"entity-type":"item","numeric-id":3045255,"id":"Q3045255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$4DFAA970-E7B5-4E71-B307-C0346F2A4CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89aa9e0cc72563d7153a1052cc0eb26d1fd99182","datavalue":{"value":{"entity-type":"item","numeric-id":5479174,"id":"Q5479174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$18E7B890-E513-460F-A3D0-C91CACCA3EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e51a6080cbba248788ac8ffc6a2d635dfd050a6","datavalue":{"value":{"entity-type":"item","numeric-id":4427908,"id":"Q4427908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$D9B2353E-1389-406F-B61B-F213EA367BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd4db128209a410a2f36a6b3edeff42db7f157c","datavalue":{"value":{"entity-type":"item","numeric-id":5712340,"id":"Q5712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$EBF04D8C-3B37-4382-9571-B77217EFBAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0d20d438194fab97846402d15a7794db2ffe27","datavalue":{"value":{"entity-type":"item","numeric-id":5713499,"id":"Q5713499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$576F4ED9-0DBB-4B47-BFE5-A3A1D3698B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb3259989b4a529098a8e7a871c65d3e5a4475a","datavalue":{"value":{"entity-type":"item","numeric-id":2761706,"id":"Q2761706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510869$77DF29B8-3DEE-4B7B-9B76-B38BEE3C5948","rank":"normal"}],"P1643":[{"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":"6853621be23f6cfbfdea4c3e57777e12ddff5437","datavalue":{"value":{"amount":"+0.90389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$A6C89E6A-86A1-4CBE-A176-74D9B51F33CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd7505a4b3432df8d9d2ed3766da9e904a8b2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3647367,"id":"Q3647367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40151affcd7fd296a9a11954cad22cb93661585","datavalue":{"value":{"amount":"+0.88783574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$9124544D-B0C5-4A2A-A087-5BFC83863259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03e5a50c7d4b95055a1ff293851d858aa66aeb6","datavalue":{"value":{"entity-type":"item","numeric-id":5900731,"id":"Q5900731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4afa92749445e75e7d79b01620c0cb94f1ec36","datavalue":{"value":{"amount":"+0.85356635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$700465FB-C3FA-4F97-95C2-BFBEC28FD03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c5c9cfcfa634f669397f505c5b6a55c66954ac","datavalue":{"value":{"amount":"+0.8519148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$DC7B3CF1-4F1D-403F-8BEF-9C8F9CF561AB","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":"008516bafff4247810c2bcba3ce7d5e282099ce4","datavalue":{"value":{"amount":"+0.85053134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$82E12FD0-925D-4557-A128-416EC19426EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734e3d739042c9cd92bc74750d1678d4253ec0d9","datavalue":{"value":{"entity-type":"item","numeric-id":5176594,"id":"Q5176594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94c2e2366e9c4deaff669937d5d5d594dc99bd6","datavalue":{"value":{"amount":"+0.8437159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$AFFBE101-F411-40D6-A716-C17220327F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2735624744436a564297e89baf11a8b42a5322f","datavalue":{"value":{"entity-type":"item","numeric-id":4887764,"id":"Q4887764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea3adad6e32f447a42e307c8825f2468d495978","datavalue":{"value":{"amount":"+0.8395551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$2CD84241-6EF2-46CF-82D1-AB3A036157C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9800548b1c4e355da952c9d8827f837c9436ea54","datavalue":{"value":{"entity-type":"item","numeric-id":329079,"id":"Q329079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d40130d3995feceee60fa040f010caae6476be8","datavalue":{"value":{"amount":"+0.8376747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$16B397CF-9D4A-49E2-9716-B948BA52D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc82ddaaabe3992bda326ea96fa7e5aa04c84b88","datavalue":{"value":{"amount":"+0.8367317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510869$E0E9FEED-73A4-48D6-9A88-E7C96D7A7C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510869"}}}}}