{"entities":{"Q2996178":{"pageid":3006902,"ns":120,"title":"Item:Q2996178","lastrevid":51238247,"modified":"2026-01-17T09:44:20Z","type":"item","id":"Q2996178","labels":{"en":{"language":"en","value":"Simplifying binary propositional theories into connected components twice as fast"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884916"}},"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":"Q2996178$B1AB7919-C31D-435C-A31A-3DB7ACBF49DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d177f9052203064298316386d4ca1c513328406","datavalue":{"value":{"text":"Simplifying Binary Propositional Theories into Connected Components Twice as Fast","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996178$67A8A5A7-7213-4441-9916-7BE0529A003C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a0209da689388c776dadc04edcfae304d786de","datavalue":{"value":"1275.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$99377E60-AF47-44E6-9960-7B4FA8E24EFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b3f8ee4d0fbe6eb22fe27a1bc48e29f9a27a7cf","datavalue":{"value":"10.1007/3-540-45653-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$44AE8BD7-E83B-4EF0-987D-B4F9B942BC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2875fe6ec1892f3e398e8aed836906172a789d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1334983,"id":"Q1334983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996178$A92554FD-9260-4EDC-990B-4DF27D9D8ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996178$C0E1577D-DD4B-4F40-B13C-56515C510BCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996178$8442B550-D2C3-466B-B25B-548628B10D2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$6A27C397-45D6-4416-ADA0-7907496BF6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$C243A2BD-EEA3-410B-B0F7-C986ED6A2E3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3163b1fe20447c77ebcdcab75092b7c0b1d74f56","datavalue":{"value":"5884916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$F6391980-59CE-43A7-B451-57738FF2DBDC","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":"Q2996178$FDEFD88A-683B-422A-B550-BED131150E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e2f07dcc654f84e345dbf0a8c005d188f0e9d3","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996178$BD614777-6C45-455F-947E-B79D1334898B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56a67c3d1b6b8c9a70c35f0fb648cf70714c4448","datavalue":{"value":"W1600913231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996178$C63CF112-1113-4747-B0E5-7DC52A8C76BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102b7cccae9cfbb22b25e1f1ad5829f283cea22c","datavalue":{"value":{"entity-type":"item","numeric-id":1777406,"id":"Q1777406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48a68239dc7e99ff0ffa367ac01b0da50e254f9","datavalue":{"value":{"amount":"+0.76371830701828","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":"Q2996178$9A1D24F2-0A5F-47E6-9443-2B479526C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f62e583904d8d233223712bb75b6d1a87ffc311","datavalue":{"value":{"entity-type":"item","numeric-id":3543649,"id":"Q3543649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70354570a821f106f0ca8cea75be13f6faa23b89","datavalue":{"value":{"amount":"+0.753436267375946","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":"Q2996178$1F72E523-6D28-436A-91A1-9002DBC2B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4269f24f54f163866a6d0eb10fc176bfd58f3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a83d875fad18133e9fa59b9eabb03f1795a4c93","datavalue":{"value":{"amount":"+0.7447128295898438","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":"Q2996178$08E81733-B1BE-4FD8-8D7D-4F04C77BE3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e0f07d9ba7d9fa37bb464ec8119fa4168ee236","datavalue":{"value":{"entity-type":"item","numeric-id":3979516,"id":"Q3979516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9caa5589095c3c7ed6d292429d186ec466364e","datavalue":{"value":{"amount":"+0.7266265749931335","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":"Q2996178$B103036E-549B-4B73-B1CA-500AC4A64F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9488133a51a9327b54a45bbeb6383afa794c761","datavalue":{"value":{"entity-type":"item","numeric-id":5325873,"id":"Q5325873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9caa5589095c3c7ed6d292429d186ec466364e","datavalue":{"value":{"amount":"+0.7266265749931335","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":"Q2996178$DB6C2AB7-80DD-4F5B-9BB7-F26685B10BA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996178"}}}}}