{"entities":{"Q4964714":{"pageid":6994293,"ns":120,"title":"Item:Q4964714","lastrevid":98315168,"modified":"2026-06-05T17:12:33Z","type":"item","id":"Q4964714","labels":{"en":{"language":"en","value":"Improving BDD based symbolic model checking with isomorphism exploiting transition relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317249"}},"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":"Q4964714$312BBC8C-35E1-4CC5-A10C-F0F1F0AD5A05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f1ac28470100bc01f91b63866eca173c73f3969","datavalue":{"value":"1457.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964714$4532B645-9597-49D0-9D58-72723BF6710E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a311de73bccbaa2eef26e86ff12e8ee1b10c210","datavalue":{"value":{"entity-type":"item","numeric-id":4964713,"id":"Q4964713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964714$D5B26592-282F-42DC-8EF9-C778331DC9DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-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":"Q4964714$0B3F4F67-8316-488C-B7D6-A6B165E4B288","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a682cc79d93c365ee7cb50ca0be6fae0bd4c1b6","datavalue":{"value":"https://arxiv.org/abs/1106.1229","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964714$F22DCEA8-D1EE-471B-A78A-397C8EEDDE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"def9ed644468a4a395df1b196ed7059173d34211","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964714$EE460050-5712-4560-A310-99FE91DA8B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964714$951D0FCD-5D66-4E0D-92B8-4AEA2B41964E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf010184957a118e4b3095fc39ed132128e6bc01","datavalue":{"value":"7317249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964714$1D907878-90D2-44FB-B896-A3F1985E4F7D","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":"Q4964714$FAE7D220-710B-4B0D-B376-2AD11FF021E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a6531597250a09d68d722633b456147c1fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":2729083,"id":"Q2729083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cad115e6b27c2ab7d15488c057fc7919067fa0","datavalue":{"value":{"amount":"+0.7735397815704346","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":"Q4964714$2D535B1D-0DB2-4B59-A754-699EE9ED5D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f5ba4dc5a77f32e974343761f006b7bd47c20a","datavalue":{"value":{"entity-type":"item","numeric-id":4427906,"id":"Q4427906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01aedb14835637e60b2c98e01fc6a80ea5cd1754","datavalue":{"value":{"amount":"+0.768520176410675","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":"Q4964714$218CD4FB-39CB-4ED7-910D-74736B5A1AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf432f03ce8f7957b5299a362d864d94364513a","datavalue":{"value":{"amount":"+0.7537561058998108","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":"Q4964714$1A848D22-473F-4D5E-AE7A-8CB5067789F4","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":"8cf432f03ce8f7957b5299a362d864d94364513a","datavalue":{"value":{"amount":"+0.7537561058998108","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":"Q4964714$72C5DDC2-9E30-4193-9526-D2596154F92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c80b229fdc71c5fbd339651f242b35105857fc","datavalue":{"value":{"amount":"+0.7442764043807983","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":"Q4964714$ABB80CE0-9CA0-472E-B9C1-78260EAC0274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving BDD based symbolic model checking with isomorphism exploiting transition relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_BDD_based_symbolic_model_checking_with_isomorphism_exploiting_transition_relations"}}}}}