{"entities":{"Q3176366":{"pageid":3187076,"ns":120,"title":"Item:Q3176366","lastrevid":53149457,"modified":"2026-01-24T08:06:19Z","type":"item","id":"Q3176366","labels":{"en":{"language":"en","value":"BDD-based symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908874"}},"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":"Q3176366$EDE0243E-5074-414A-9300-4F45027E985B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be4582815ea6af0e0fd83511d668a2b4e88a1eb1","datavalue":{"value":{"text":"BDD-Based Symbolic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176366$B0596770-438E-4F67-97EB-4F741C0D3E2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34b8803d4198595ee66ec3c2b4b1bed0066546ff","datavalue":{"value":"1392.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$46E0CE45-9789-404A-B2D9-118D113A4B42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"676167a0f798767ffc902af7dbf1a69bef11a394","datavalue":{"value":"10.1007/978-3-319-10575-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$71A22001-6890-4201-8A86-DAADA95FB48B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$4FAC692D-8EE4-4524-8BE6-5E32761E5006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$E5C52437-2036-4F22-B264-1D6609BE0E19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$32BC8AD7-ECF7-454C-A86B-CD90B34F0E40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176366$E5AA6DDC-13AE-4BB2-AB40-8FFDCEF879F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$39E4F2A7-8FAF-48F3-8CED-403CDF1D85A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$36FCBF24-5923-48B4-AA1A-B66BAF2E3A4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc421a567ee4c4f9ed55caa572150ee2481e8d24","datavalue":{"value":"6908874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$7BAAA590-7F34-4320-88A0-9BA049A41005","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$BFA71588-3BEE-4632-9E5B-A0A907E4024C","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":"Q3176366$A5EDE620-646A-4B6B-B85B-BC065FD2EF04","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":"Q3176366$E3EA29DD-A465-44F1-B0A1-E1DC2F24B1C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e950ed69a08cc2291e0aa7d560fc8f2990666d2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176366$BAA9E647-B226-4B77-A3CE-05EF44D4711E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43a776585a3802c8a76442c8498cc150e2763788","datavalue":{"value":"W2803843036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176366$A1EE7A85-6B55-4DDE-B4E8-153950B4F92F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$F35CB098-4C09-40B4-8C8E-CC5B7F4B4C22","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":"Q3176366$D7D09451-8EEC-4C14-85A7-4C200E0FECB1","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":"Q3176366$60042267-56DE-4768-ACB3-B17B5CE4E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$46468112-795B-4D55-A376-CCD0153FF79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$13FE31DA-090D-4D42-86EA-0FF123F3C436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$AC649EB4-69B1-4596-ACFF-D10E6268EEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cdfb5536a521f63363e276a66d5cafa5c7f9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5628016,"id":"Q5628016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$0001BFE0-E799-44EE-8C5C-5D0F577DA9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$398448CD-EB78-4DBE-AC79-12A87383B7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$E33A12B1-529D-493C-8093-8D687CFEB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$27218E45-9C1E-4AB7-9625-B4BED79D719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03455b971397d937afa50b2acf41cc84429c8a88","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176366$C08810A5-81A2-4E1D-BE13-D79E021ECAC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c1cbc32878b4f55ff8982a1f05ee0bc694c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4737124,"id":"Q4737124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad647347d2ea226bcdee6e0c65f1241df9c7c145","datavalue":{"value":{"amount":"+0.840889036655426","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":"Q3176366$B66BC287-08E2-4B36-B0EE-38CA4C2DAA3B","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":"232048214840a3ae9eeec6d409a91c2298b6b0b9","datavalue":{"value":{"amount":"+0.8252180814743042","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":"Q3176366$6566FB3A-E9E4-4B77-8EE4-BE6437D2C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08f45d9e7056e96ec5a16090d6f5caacc2182f2","datavalue":{"value":{"entity-type":"item","numeric-id":4736996,"id":"Q4736996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232048214840a3ae9eeec6d409a91c2298b6b0b9","datavalue":{"value":{"amount":"+0.8252180814743042","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":"Q3176366$83F06AA8-E1E8-439A-9065-5170DEBE7964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c789d9a6d2ec93ba00de3ca763678a1cf6dfee","datavalue":{"value":{"entity-type":"item","numeric-id":5899154,"id":"Q5899154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca07a47516eda6794049c199b7d5ab797f36723","datavalue":{"value":{"amount":"+0.8163405060768127","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":"Q3176366$3DA71674-BE24-4579-99A9-552C1F8F2E94","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":"1573a9694074da19383d2db5bb05a71b25a3bef9","datavalue":{"value":{"amount":"+0.8005699515342712","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":"Q3176366$E49ABFFF-1F4C-4CC8-B246-B65169C36AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176366"}}}}}