{"entities":{"Q6132656":{"pageid":13266963,"ns":120,"title":"Item:Q6132656","lastrevid":58696746,"modified":"2026-04-06T09:07:05Z","type":"item","id":"Q6132656","labels":{"en":{"language":"en","value":"A decision diagram operation for reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728860"}},"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":"Q6132656$648B5563-733E-4B61-AE82-E5BEEE36F526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc513d6d097fbb9d228426b6beb3b05a1307b5f5","datavalue":{"value":{"text":"A decision diagram operation for reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132656$0E4685AB-AC26-4A09-AD34-CEC802EFDD87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eaee46e0644904400934d0b70608bc8fd0c4c7c","datavalue":{"value":"1529.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$FC226038-5694-4758-9DDD-683A0B068B1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"565dff7d4ecd714477aabb5c198267cdbc75e91c","datavalue":{"value":"10.1007/978-3-031-27481-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$1C79429B-F33C-4645-81DB-57120DCF3D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70af0286e9cdc12684e45a9c7d59090d0b795097","datavalue":{"value":{"entity-type":"item","numeric-id":6049040,"id":"Q6049040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$058B77A5-D7B7-4400-9D3B-1735BA4769D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd9873f826f5617463885d46d48b173acd646fb","datavalue":{"value":{"entity-type":"item","numeric-id":836001,"id":"Q836001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$78E02B1D-C40B-4DDC-B97C-DF16CBADCA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd6039760e2166f62929ab4e772c45cd83a7c74","datavalue":{"value":{"entity-type":"item","numeric-id":2060757,"id":"Q2060757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$EB926390-C03D-4B15-B1E1-577795DE95D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$3CC2133D-1AF6-458F-8A0D-DF7248A4AF91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132656$45CFB783-517E-4A4C-BCF4-F62D2E4D0A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3c1c1f8c63fd2cd98d896456cbbb2621eac1515","datavalue":{"value":"https://arxiv.org/abs/2212.03684","type":"string"},"datatype":"url"},"type":"statement","id":"Q6132656$E627168F-F535-4839-83E4-24419B3BDAC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$1FFFF704-5101-4976-94CF-E86697C76D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$5F1ECABC-41BE-4659-AA38-3BA0F66C5368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$7A681071-4B9E-4CDA-AE53-0D2FB74C7937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fd01c6741079c17cd6264865fb7d70293c25b6e","datavalue":{"value":"7728860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132656$6E98E8E5-69C9-49EE-9ECA-F63CD92CAA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$25E2C74B-6098-4B8A-A12C-ECCE0C9F78D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$727BEA70-EFCC-4A85-A9F7-C75A734EB408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$3D362C5E-D1F5-4993-95F3-E6D14A562517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$0F99BD06-63A7-4EB3-8353-674A06FD2D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$865F2C2C-8F88-43FA-AE78-B3C451AFFE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f066a090dc0e52ea2b7e2f5330e05afdf7e9926d","datavalue":{"value":"MDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132656$979C2B1B-A092-4C36-AE29-06B0A11E77CF","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":"Q6132656$41794AFB-6225-4C8A-B821-BB475A2E7646","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e386ef509c50943095e314d987be80591f49b792","datavalue":{"value":{"entity-type":"item","numeric-id":5096082,"id":"Q5096082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$3AB076A0-0E6A-4AAA-9164-4DBD87B25536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5cabc1608e6443b5f3827492573b28b5372878","datavalue":{"value":{"entity-type":"item","numeric-id":5505595,"id":"Q5505595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$5B2E4C4A-998C-4CB1-A2F7-358EA81F588F","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":"Q6132656$9686FD2E-C015-4108-B8D1-5DC7E1987088","rank":"normal"},{"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":"Q6132656$7AF3B6E6-D00F-4586-A767-73132167CD11","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":"Q6132656$A553228D-3AB4-4E49-8AD8-3A7564DD80B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b177f327a80ce89d460ccd5ad08df76a67b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$36C3515C-080E-495B-9960-EE5CCF78D5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$3ABEA881-5028-4581-940B-F8CCE63B4E91","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":"Q6132656$7FE7811A-5202-4757-93AE-BA598F4832C8","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":"Q6132656$000829EC-1F6D-47D2-BC2F-0843B522C0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50fda6e2ebecf8554157d944d45d52de45a5b70","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$56AFDBCE-281C-402A-8F87-3C6921AA984E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f568d70c4d73f695a2c9cae93b33447dfb81c6","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$BAFA9D57-3ECE-4417-84F3-3C7440A677EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$6D9DB4F8-0466-4080-B673-2EBA5C703627","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":"Q6132656$57ADF57A-1465-434C-B19F-B0957CD171C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$E2169F0E-B265-49B4-A3A8-9B7125682E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18004ab171241e9a5046e84d647dfb3f35f2c5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2169116,"id":"Q2169116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132656$622607D8-F8B9-40EC-BDBF-37449A5C2C69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c845a0bfea187674a97f7b2c87d49621fe314e","datavalue":{"value":{"entity-type":"item","numeric-id":6144219,"id":"Q6144219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c43e36ecf22a6f39c9abcb23e8f3c2464b8aa18","datavalue":{"value":{"amount":"+0.8059158325195312","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":"Q6132656$B9694DBA-BA49-4F97-B10B-5ADF666153BF","rank":"normal"},{"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":"3dbd3086d5162733af6bf3dbd44ac45db8c1bf32","datavalue":{"value":{"amount":"+0.7989331483840942","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":"Q6132656$6F35A313-CB94-467C-9557-D8C31FC2DBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa7c331b19da7a86051c76472550d064c2ae593","datavalue":{"value":{"entity-type":"item","numeric-id":5758137,"id":"Q5758137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0b3024e213331f1535f6e0d82c1edbd5808282","datavalue":{"value":{"amount":"+0.7723403573036194","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":"Q6132656$85D72FB6-D76F-4C4F-8840-9F95374AE2B1","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":"20396a55f3b107b824cfce2201c9bc08b26e00ab","datavalue":{"value":{"amount":"+0.7477778196334839","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":"Q6132656$65852434-448E-4E30-8D2A-EC0903812FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04aee47dc375febea9c58758d41f023bf56d746e","datavalue":{"value":{"amount":"+0.7441046833992004","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":"Q6132656$CC85AFBA-D066-455B-A943-CA5EFECA649F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132656"}}}}}