{"entities":{"Q2947874":{"pageid":2958594,"ns":120,"title":"Item:Q2947874","lastrevid":52353860,"modified":"2026-01-22T10:42:35Z","type":"item","id":"Q2947874","labels":{"en":{"language":"en","value":"On the structure of solution-graphs for Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6486802"}},"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":"Q2947874$A11EBB07-BAD8-4656-951F-5FC4BE60204A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d20aa442ab836ece01aeae2396bf2123068a8a","datavalue":{"value":{"text":"On the Structure of Solution-Graphs for Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947874$D0846F01-EBBE-4547-AF2D-A636FD332A2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58b80141b0b9d7033033065df9451ec5ad05849","datavalue":{"value":"1436.94128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$9BE4495E-7003-4F96-95C9-4403B960B3C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"265859d3af9179c3a3b5bbccfbfd977809a1b4c4","datavalue":{"value":"10.1007/978-3-319-22177-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$E9795864-3CF5-43C8-AAE5-F9C033E74A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0875d93a5a943bd84d74518b3a3c951fc70de29b","datavalue":{"value":{"entity-type":"item","numeric-id":515681,"id":"Q515681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$25C72829-5406-4E4B-96EE-70EEBC3527A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$1AEE8D90-14FD-41A9-A95A-70B5A06669DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947874$DCF188C5-40C4-44F5-9326-ECF421E1740F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bf534479b9242e973ca011ffc03f5c515318eab","datavalue":{"value":"94D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$755B3200-367E-46C7-B7AC-B2C37D10653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$6DABBC1F-125C-4A89-9F46-EBDD7EBDE052","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbe928226171132dd38b925bf5fee3570a789792","datavalue":{"value":"6486802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$8A12A549-63C8-4A38-A7FB-3A22B794A27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b22cdfdbd17f0e9b31e7b798339b3109853e4a3","datavalue":{"value":"partial cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$B151521C-E231-4736-9D48-25F2E64B3CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34eef08bbc70855339cb528fa31c3775cdd56c2","datavalue":{"value":"succinct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$75D8698D-CA09-496F-BD32-0A3B2D9CFA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$FC4995E9-9DE7-451C-A003-1BF4AF07D6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437ed0b738e60662dfd81ce22a7dbfa375d5acce","datavalue":{"value":"\\(st\\)-connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$4E683861-752D-4D5F-98FC-E2340AE45A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba61a8abead030333429495c832d733d94064bd","datavalue":{"value":"connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$388C9D34-4098-467C-A3FD-EE09A2644093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947874$A7C5E01D-0643-442E-A7B5-04D643FB7AC6","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":"Q2947874$C02D2EA5-5C7B-4AA0-AA9A-5ECDCFEDC42C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d09f4c7aca3d10d0a5871cb3908204b30312793","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22177-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947874$0EF50287-8C5A-4125-8174-5FA68D07B44B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38c46e634aab6655f15164cdf5f8885b1ea8af60","datavalue":{"value":"W1572204789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947874$7F5E938E-D116-4BF9-9241-AF563B5F94FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe750fe979dee7b66410c31725005a049aec92c","datavalue":{"value":{"entity-type":"item","numeric-id":1403361,"id":"Q1403361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$6EB35033-B3BD-4592-9D73-451F54398915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$B84240C1-B8BB-4FF8-B958-41A20DEAFA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbd2096105b9316a95c0955ac512c86ad058481","datavalue":{"value":{"entity-type":"item","numeric-id":2946012,"id":"Q2946012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$4B798116-770E-44A4-8B02-B04DEC892EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b9dc206a9c9692b389f3ef768aa2b71938d0b4","datavalue":{"value":{"entity-type":"item","numeric-id":5404919,"id":"Q5404919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$BC757EEE-FF6F-4936-8744-6CA65E1A119B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b55d30becb1266e0e0dde61166d733ffea16ae","datavalue":{"value":{"entity-type":"item","numeric-id":1961460,"id":"Q1961460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$E180C1C4-37EE-4DE9-A06C-2B111C790DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd898582b3042cd9f98f55a99a55f26af0712fb","datavalue":{"value":{"entity-type":"item","numeric-id":4128417,"id":"Q4128417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$96A632CA-CFD1-4178-B4C5-8221A3E7C815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68b8d005dfd87902f37fb8cb4e60330d36c756a","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$34D1005E-084B-42F7-B9C3-ABC84FD3BF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d0e398fd73674d278a5b71a363e47b09e732a2","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$D369A22A-4416-42FB-9747-5A62CFCF8E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$69DC8F47-DE3D-436F-9DFC-A150DAFEA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea2e3a0bd9f78e5b63cf1514302cdbf7d2f3ce8","datavalue":{"value":{"entity-type":"item","numeric-id":1870233,"id":"Q1870233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$F6ECFAF9-5C8F-47A6-8E55-D1C884927497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a1a7f23dbf662def3c46e700b98c5c1e6435a4","datavalue":{"value":{"entity-type":"item","numeric-id":636729,"id":"Q636729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$4A59FA89-525A-42A9-87C2-50852CD46222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$6BD731E8-83B5-4D21-A617-C7C3ED00BCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$2D6DB6E0-7CCB-4418-B043-514B7D0C9886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1daa75549f6f1270aa294716052d481a41e76af","datavalue":{"value":{"entity-type":"item","numeric-id":3194807,"id":"Q3194807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$F2DBA3F3-D9A1-43DF-952F-F5BC0A867B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6120a8e3812d3efe1dcafbf27b40deab03845b","datavalue":{"value":{"entity-type":"item","numeric-id":290253,"id":"Q290253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$0E29D90D-488F-4021-B163-46099BD2D662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf77b975112e69c8aad871a3bcb3e7a70b80a19","datavalue":{"value":{"entity-type":"item","numeric-id":4258578,"id":"Q4258578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947874$DFE3DB83-FC50-4A30-954A-5EC96DF5D14E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0564d25e6ae531793112d260c402b291cdc4b729","datavalue":{"value":{"entity-type":"item","numeric-id":2817999,"id":"Q2817999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb385607d7457467a7f102829f14ea4b8985d93","datavalue":{"value":{"amount":"+0.8959294557571411","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":"Q2947874$0A279260-3F19-4FA8-A276-AA6D2411F6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091a4cde9724f847f8b001f193461ad8f9c01a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5015600,"id":"Q5015600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6efbbfbfb07e4d9586eea9683f6da99c2cef9a9e","datavalue":{"value":{"amount":"+0.8902055621147156","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":"Q2947874$3F3A1B4B-B015-408D-995B-9D39133C0FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0917673757a63f6c86195d9c7340a075ff3558","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0c386891b5cda7554bd7ffb3a8da03c41a156c","datavalue":{"value":{"amount":"+0.8276404738426208","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":"Q2947874$E79CCAF1-4816-4A83-B98C-7EC53A98B40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ae5b589ce3131462163f64c0b751e0e7494add","datavalue":{"value":{"entity-type":"item","numeric-id":2411031,"id":"Q2411031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb1b47e9876913154810f39790e4ee8241a2326","datavalue":{"value":{"amount":"+0.8219497799873352","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":"Q2947874$D72E8F08-4AE1-4E63-A5DC-4549D057380D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6f759c8a7844c73ee41354509b899fcdc0387d","datavalue":{"value":{"entity-type":"item","numeric-id":4981174,"id":"Q4981174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b690534079c902039248ab1376e92273f695a82","datavalue":{"value":{"amount":"+0.8195374011993408","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":"Q2947874$89A95615-42B6-413D-AC3F-C5243529EE1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947874"}}}}}