{"entities":{"Q1791022":{"pageid":1801764,"ns":120,"title":"Item:Q1791022","lastrevid":69139014,"modified":"2026-04-13T05:01:34Z","type":"item","id":"Q1791022","labels":{"en":{"language":"en","value":"Reconstruction of Boolean formulas in conjunctive normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946819"}},"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":"Q1791022$618C8B08-DF3B-461B-B2B1-F74047C6363F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d2743a092b410fc672c49dbf3a347dbf814220e","datavalue":{"value":{"text":"Reconstruction of Boolean formulas in conjunctive normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791022$966ECC2F-D3EE-4D3C-98AF-3107DF52B51F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0485124ad7e7311ae2da67d8e99175fa821a629b","datavalue":{"value":"10.1007/978-3-319-94776-1_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791022$9194DE15-EF90-4732-8EAC-322C8560E2D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791022$42B2FDFA-0495-4DC6-9201-D1535E421D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791022$612BE44B-BA11-4EB2-A041-35E37524C8BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791022$494B2C90-5695-4008-A587-C6C5E6D508A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791022$B8B1F4CD-3ECA-4C11-AEC7-B07077312716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791022$265AB266-60BB-41BD-8846-2C46D493D719","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3f674796564ac6580e739166003092f178e77e6","datavalue":{"value":"6946819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791022$5D3CE1C9-0555-44BC-9A44-DF899F0F900F","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":"Q1791022$60C05548-EA7B-415B-A850-72DC1D6CCD89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"830622fa21d8363ba704089beb658f270c67fd0b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94776-1_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791022$33037524-F4B8-4D9A-9FCB-2513D9DA0BAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ac937664ab7413d5642d89368c92ed28a3dd32","datavalue":{"value":"W2810883667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791022$133BD93E-805D-4F09-AD8C-5C2E19362D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe1275f5e41b64b8822ba4069028bf3163d904","datavalue":{"value":{"entity-type":"item","numeric-id":2851492,"id":"Q2851492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801a87428224aad45d6e11c5ffe07849c78834fc","datavalue":{"value":{"amount":"+0.7671996355056763","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":"Q1791022$320522EC-EA16-4220-99BD-21B37DD46D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e96d604d83bf1e1d22802e5088ea9c90055130","datavalue":{"value":{"entity-type":"item","numeric-id":1772201,"id":"Q1772201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb365351cf83c699591f5e3423b348638b42a00","datavalue":{"value":{"amount":"+0.7669414281845093","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":"Q1791022$8E9FA0C1-E2E8-41EF-95B0-C30299D3E292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe25ecd8565bcc2fc64398f77821c02bbf46b699","datavalue":{"value":{"entity-type":"item","numeric-id":5025691,"id":"Q5025691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0502202cfd8ab27e6e6213fee7880536a17dd68e","datavalue":{"value":{"amount":"+0.7528678178787231","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":"Q1791022$C79A7E27-4A74-41C8-B081-36E1346BC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266d7980ced7f20710549de79f3a16a990abcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":5937946,"id":"Q5937946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3f0a76df046d99eb3d213182ce729b5f170547","datavalue":{"value":{"amount":"+0.743884801864624","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":"Q1791022$B466E0BA-8E93-46D5-8663-827073AD2014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f48e15a47a806aaff027ac87d2b6bb1ff64b72d","datavalue":{"value":{"entity-type":"item","numeric-id":1313839,"id":"Q1313839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3f0a76df046d99eb3d213182ce729b5f170547","datavalue":{"value":{"amount":"+0.743884801864624","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":"Q1791022$7639839E-13DC-4923-9326-B6B604A3476F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reconstruction of Boolean formulas in conjunctive normal form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reconstruction_of_Boolean_formulas_in_conjunctive_normal_form"}}}}}