{"entities":{"Q3194709":{"pageid":3205417,"ns":120,"title":"Item:Q3194709","lastrevid":86081231,"modified":"2026-06-03T14:12:32Z","type":"item","id":"Q3194709","labels":{"en":{"language":"en","value":"On compiling structured CNFs to OBDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496815"}},"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":"Q3194709$DF655714-60FE-40FB-9A47-CE273893F6C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6a8a3c440f3ac9fa73bb18c4ff84902abe7862","datavalue":{"value":{"text":"On Compiling Structured CNFs to OBDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3194709$A4BCBAE8-16C1-4A65-909A-5B807E8CE2D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0a3add1ac6fe5626530bb8cd5ac877cad5ed85b","datavalue":{"value":"1378.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$E5E853AA-F4E4-4A0A-A960-2CACBCAA4573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6384b17058f7bba67d9a2d0e9969392b0566eac9","datavalue":{"value":"10.1007/978-3-319-20297-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$F5063619-986D-41D8-8011-548C0A42EC3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$7ED39601-01F0-451F-B9C2-2D087DF8A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$299B8375-A1EE-4491-9630-E3CB272450B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$108AB064-4631-4102-AA98-C242AA170769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-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":"Q3194709$83D5F871-6CB5-46CD-B5A0-9EE5D41F22D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4982a3ed0d567391b0f22aac94a59a5a83c04ef4","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-2794","type":"string"},"datatype":"url"},"type":"statement","id":"Q3194709$7EA4A8A8-4676-4CE3-88DB-53E1D5F84238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$3C7E0F99-49CB-4695-88E7-B6771262ADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$8739A444-F6F3-43E9-A471-78E105D2763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$E01F182E-4099-4C4D-8125-8A0F2CF82255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$595789A6-25FC-451B-9AC0-72193EAAC2E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c73e44a31035683fd733835ce8cad59355bdfb90","datavalue":{"value":"6496815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$5EE27024-CFD1-498B-9491-0ABA52507D6E","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":"Q3194709$45AAF973-5253-4866-B367-6B1B2A0CD248","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"494a83149dc57e3b4ec5a0fb68fb75f511545293","datavalue":{"value":"W1802541963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194709$873DA2EF-5D31-46C6-9723-D5B39B56B507","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9208528a9398d42022a83d3910fdcc8477ab6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2784326,"id":"Q2784326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$F71F17D0-165C-45FD-9EC2-336217DCE7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$9DAD51A3-90B3-4184-B8CD-4FE2A72AEE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c5348b8b2641ae581fcd3bade1b996d4382e2","datavalue":{"value":{"entity-type":"item","numeric-id":4895809,"id":"Q4895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$67C6BAEC-913D-43C3-9A75-B841A78E6769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9914f8121a32baf6895c6797ec99c63c32102968","datavalue":{"value":{"entity-type":"item","numeric-id":1242450,"id":"Q1242450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$41ADBF5E-E0D2-4C17-AE63-6C081A6E48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fe5dc7b628d11c2ffa299dac6511aa6793694","datavalue":{"value":{"entity-type":"item","numeric-id":2954991,"id":"Q2954991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$23301388-9379-4A69-9FEB-129BF01A0568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30824ce5d78a4f51a80bfafc4e90563c8b9a6097","datavalue":{"value":{"entity-type":"item","numeric-id":955350,"id":"Q955350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$8B086D67-2D28-4A88-B2B3-E6A270D26CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$D6644699-40A6-45B4-B01E-B8D97FAB8E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$313143DA-98FF-4ACC-B6E6-7C33C9819F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db49dc2d823334d7863c8812e07ae2a69426f27b","datavalue":{"value":{"entity-type":"item","numeric-id":4507228,"id":"Q4507228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$1D4A5B89-F320-4B99-B7C4-B5FD1C6D4748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$6659D1E8-6221-4D5F-B538-07ABF9332CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$0547A6BB-0B7D-42EB-8F5A-E01489438BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd41c612f3888f5339ad5bcc277a720f58a90e7","datavalue":{"value":{"entity-type":"item","numeric-id":792885,"id":"Q792885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$F1A070FE-295F-415A-AEBB-016FDBCC59A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7935a7a1b24b294effda507df33849d1fce1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5574593,"id":"Q5574593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$1957EE58-C5B1-4B7E-8A5E-3B23DD223883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4be033dc1e037b43c1538205386964bc6ef38a","datavalue":{"value":{"entity-type":"item","numeric-id":3514498,"id":"Q3514498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$0D8D7915-F0F1-4742-AB41-9A7F6C7F47FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$3D585DF0-E6EB-4313-9F90-55E396ED5FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9001c5ea90a954557f0ac10357c47c6f8c94b6a","datavalue":{"value":{"entity-type":"item","numeric-id":967317,"id":"Q967317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$FA2A842A-4A99-4A1A-95EB-05D185BBF563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f12c55b040e178750ffd0f77e03165a4078995d9","datavalue":{"value":{"entity-type":"item","numeric-id":3115868,"id":"Q3115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$7A04FA34-97DB-4855-B6B9-82E940024A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711716eb4265e80ea2a865477386da09e4c78e1b","datavalue":{"value":{"entity-type":"item","numeric-id":1827785,"id":"Q1827785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$995FC969-4238-41FE-B75A-D8AA88076810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d885b753c1488ad65f4361e7a9e731dc32b8ed49","datavalue":{"value":{"entity-type":"item","numeric-id":3109810,"id":"Q3109810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$DBF97FFB-DDEB-4928-ABAD-325DB91136E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8fed857d4fb526dd40d7f0ce104c9222a33b47","datavalue":{"value":{"entity-type":"item","numeric-id":5283031,"id":"Q5283031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$A4A4759B-4726-4513-B8C5-6C67D5D07551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a27ac1359142dc877e852fc55fbeb35704441f","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$599B6B99-261B-4C6C-A98F-D8348C21370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5ab46d8c08f4526d2a3573f107b0f2dddefa02","datavalue":{"value":{"entity-type":"item","numeric-id":4274633,"id":"Q4274633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$31CE8A97-65D1-4216-A5B1-711BB156A9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194709$063A2C42-ADB7-49A7-9AAF-A5193371CD6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f7944585aa19ecc078506a2988dadb82be7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2411046,"id":"Q2411046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba3078aa350f3fee7200b11eea43c7dd07c4028","datavalue":{"value":{"amount":"+0.9978005290031432","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":"Q3194709$B8B304E8-4E36-4F8B-9C37-ACF2E61F197B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae86df0039d8b71b54a7df22140d850632680b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897079,"id":"Q5897079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7009e6ee1e6d17065ac2202150664409f0d052","datavalue":{"value":{"amount":"+0.8107431530952454","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":"Q3194709$8F6860D5-914A-4FBA-8321-DFAA2981AE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07311eaeae22722413f25c6d787fbf9e224199d","datavalue":{"value":{"amount":"+0.7955834865570068","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":"Q3194709$791AB4B1-77B7-4B15-8798-0BB736A42226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5763e537190f9cb222ffb9a431897f264cd024","datavalue":{"value":{"entity-type":"item","numeric-id":5283031,"id":"Q5283031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1307289733eb6a848a54ec95300fb14c037fee8b","datavalue":{"value":{"amount":"+0.7938873171806335","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":"Q3194709$79DF2E66-142C-4F28-97D2-6B0C24A8C050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e7036203ff91a735f5ded6de1fedc2f4aaee29","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee45e0bdfd98a66ef2b12d2e15a099afd73a5c1","datavalue":{"value":{"amount":"+0.7863261699676514","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":"Q3194709$43ECC3D3-902B-48FF-88CC-16BFDE4FF76F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On compiling structured CNFs to OBDDs","badges":[]}}}}}