{"entities":{"Q4593955":{"pageid":6623540,"ns":120,"title":"Item:Q4593955","lastrevid":52957955,"modified":"2026-01-23T21:58:49Z","type":"item","id":"Q4593955","labels":{"en":{"language":"en","value":"Read-once projections and formal circuit verification with binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807578"}},"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":"Q4593955$874A5DE1-845C-401C-8C39-DC004C4115D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ed93e3d1d1861fc696276b005a3bf58c6ef6db4","datavalue":{"value":{"text":"Read-once projections and formal circuit verification with binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593955$D3E8B155-C843-46A9-AF0A-0D2AD1220D38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cdc132e158352946cb772f04b12a36860817c47","datavalue":{"value":"1379.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$FB537A84-69BF-4F3A-9203-84C338AC3E0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d236caaeca990b677da7c1564fb8c62bf7462d99","datavalue":{"value":"10.1007/3-540-60922-9_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$9A214FE2-BBEC-4CD2-8B22-3128D02B8613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593955$7935C036-B6A1-41FB-9697-A272EE927273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593955$391FD147-F138-4076-8ED6-3EC1889094A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff0b2d99a56a6d8e89d3dd31cdda69d3f93833b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593912,"id":"Q4593912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593955$7132E30C-EF15-4EE1-A013-BD6F988E2D39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593955$0AF5932D-D815-42B1-BD0D-82D88E386625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$34FB5130-2B79-41B4-840A-EB18E88EA724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$0AC9D97C-20D2-431C-B0AD-E48F54C40092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f89c7671296a69907e68bbfe540fd33b8cbb8108","datavalue":{"value":"6807578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$C0DCB8C0-8BB9-4690-83C0-DA293EFD7BAB","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":"Q4593955$30B53CCC-E4CF-40FB-8DCC-D6D1E25F4723","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"246647b6dbb8300faf19f8e844527b420d348b2f","datavalue":{"value":"https://doi.org/10.1007/3-540-60922-9_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593955$F01559C1-B356-4E93-A7FF-FD0D71F00A4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c35516b2850537683c61569d1f06e91ba643cad","datavalue":{"value":"W1807276935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593955$2523FB78-F8AE-46DF-93FE-6F34F1468AAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88998f8a06c9d0a5e7946de65dd75e0b7db796a","datavalue":{"value":{"entity-type":"item","numeric-id":1271310,"id":"Q1271310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411e6695ebe32f619407c5c85d46c92bb574ee0f","datavalue":{"value":{"amount":"+0.8356788754463196","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":"Q4593955$F33E38B2-49A0-4DDE-B515-A8B392A1B702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75803d2144aa987a93a10031af3fc15de667d64","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ef9966aa5f3dea42c2f297ff4b202bdf467a08","datavalue":{"value":{"amount":"+0.8287445306777954","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":"Q4593955$DC6264CE-5A0D-4FE6-8212-E0F3F3131B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcef2dd5d90b33782725fddca10d99ba643a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3013174,"id":"Q3013174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7572a39634b5ad93e6f2bbdafc5f4b789f82cb91","datavalue":{"value":{"amount":"+0.8228395581245422","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":"Q4593955$576D397A-CD9B-47F5-804A-961633148997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525cd79179a87d0fbcd0cbac1ef38caca4d35aef","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c9031c1131ecc427d63cde8ab5314e2803083d","datavalue":{"value":{"amount":"+0.7691866755485535","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":"Q4593955$B2FD4809-7A61-4010-868A-0808DC4DA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21e97faba9d36587232d0e5e87e70b3c944a341","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e1788214ad24c3a2c2d1026adf6cea7365816a","datavalue":{"value":{"amount":"+0.758440375328064","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":"Q4593955$AE00D468-AA56-451F-9F61-0D81C9A5F7EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593955"}}}}}