{"entities":{"Q3730348":{"pageid":5760254,"ns":120,"title":"Item:Q3730348","lastrevid":50842574,"modified":"2026-01-15T09:24:17Z","type":"item","id":"Q3730348","labels":{"en":{"language":"en","value":"A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961346"}},"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":"Q3730348$8A4C6B1C-2EE7-4CFB-91C3-7B0BBA3ECE92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f8f90b8d9b7066a052b8817629bc64b2923d949","datavalue":{"value":{"text":"A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3730348$9756DDEA-2D01-4789-A843-5A13D0C2160A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0efdba5e7aa6d62e49137dbfcf693efc41fb2676","datavalue":{"value":"0596.90067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3730348$9339732E-328A-465A-B61C-14BAA71477EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e62e0699a767003624f75f2e48766616d2408e07","datavalue":{"value":"10.1007/BF01580586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3730348$55984428-5CD0-4500-882F-2152F4A3FAAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf47db66b00e4c421ce1e7ba44bc0c7e860c19b","datavalue":{"value":{"entity-type":"item","numeric-id":190032,"id":"Q190032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$3B22B03D-22F1-4A93-A615-2F709E79BB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d014b1a5c53d4583e103a493ca5a114390d7213","datavalue":{"value":{"entity-type":"item","numeric-id":185380,"id":"Q185380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$4DC5B3B1-8B40-458B-B657-A825EF94158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2480f70a96a0e09506405db969492fd41acf1c","datavalue":{"value":{"entity-type":"item","numeric-id":325411,"id":"Q325411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$9DC9DFF3-CFFD-4DEA-BE24-649FC661D30F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"91dd52bf452ed1d3fa37f596d065cfa2c61c22dd","datavalue":{"value":{"entity-type":"item","numeric-id":59162,"id":"Q59162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$F7CA51DE-2C06-469A-9F0D-9151505AB663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3730348$CC562C0A-3151-41D8-93F3-109346ABFFAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3730348$3A70516C-97B3-402D-B6D6-3E319ACEC733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092f2340118591ac1e9665202d61177d80e80eb2","datavalue":{"value":"3961346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3730348$33B0F222-321A-425B-B738-539960A44C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c48d9d022119ab8de5bd7bbbf54da0319fc057","datavalue":{"value":"Boolean inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$12D2C0AA-90C7-4CA1-8B1B-DC0CF9D19B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c850b5604638748e47db6d2307bbc4739cdcc10","datavalue":{"value":"implication graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$910F8CC4-4BA4-4B6F-9AE6-937840DE1A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff7bf11626141f10491819543bc6e69eb57efdf3","datavalue":{"value":"depth-first search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$18F331DC-9285-45B8-97A0-685FB00A4CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a20cab7773bcb2bc097c108202ed99c1dd2df8","datavalue":{"value":"strongly connected components","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$3A1FD9B1-AC7C-4BE7-98F4-B33731E2D333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$FB41D2EE-D2CC-41E8-8257-4CB9F8E79FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69aa9391a9af19d5dc7d079b1877dd06c181fc3","datavalue":{"value":"0-1","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$0FD1D48E-F01C-448A-936D-C30650ADB32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$268D4E00-8BC6-4310-8882-B9B26B15D707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$81E97006-CB17-4B2A-AEDD-BA6CF2250253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cc11277e15d346bbe6747caff80e4c953dc66b","datavalue":{"value":"Boolean variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$9067CFED-4F22-4EF3-9127-E200E1903790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c41c5a0dc055b6bc8ff9f719bcab261e48079b35","datavalue":{"value":"logical conclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3730348$EDC39681-A632-4721-B627-C09241E5AA29","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":"Q3730348$386AC1AA-B0FA-4A57-927C-108672AA8F78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$E546DB0E-6A57-462D-9FF8-C5D5124275CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b917b736b00f069f12072c97795522fab40f5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4132250,"id":"Q4132250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$903AEAF3-54B1-425E-BDC5-B83554BA3450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185812f4a394f61052aeca3705caa191a7cb923b","datavalue":{"value":{"entity-type":"item","numeric-id":3947117,"id":"Q3947117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$5D95AD39-8F10-409C-98A4-68400529B136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bced2c88bb3f79c405b650dcc49d42df378140","datavalue":{"value":{"entity-type":"item","numeric-id":3696859,"id":"Q3696859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$46515AE6-4AF9-4BF9-A810-3367BD7745A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d254ca8fb3622960c286f7a70ba1cd8e251e97","datavalue":{"value":{"entity-type":"item","numeric-id":3899820,"id":"Q3899820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$D3F08828-BEA7-4423-941E-6AB3B326D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030033d07b50186b8804f9e608c60d87b820488d","datavalue":{"value":{"entity-type":"item","numeric-id":3907407,"id":"Q3907407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$83A35361-93DF-4D5F-8D6D-C1BD70CAACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76669984a6ac0b0c6e637a208d87de19004660b7","datavalue":{"value":{"entity-type":"item","numeric-id":3050132,"id":"Q3050132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$6334199E-32A7-4E10-8F8A-AF9AEA3E6292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9947b17f31dff2fa734150ed6f87b6dd7b94d7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1226442,"id":"Q1226442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$534E37C6-E037-4EB0-98E4-F9B162333EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05666343bfd0892ca2f08d23cb08dec3f97399d","datavalue":{"value":{"entity-type":"item","numeric-id":1070255,"id":"Q1070255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$9BB9E73D-10C3-4222-B1F5-61BC05F6FEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794102b11e594e7d1680a9e6b7c5346f70e5122b","datavalue":{"value":{"entity-type":"item","numeric-id":1075771,"id":"Q1075771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$94946061-F6FC-4148-AD0E-9E9CC3241FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aea16417b6b5932cc8cc24e2cd2f57dbdb5775f","datavalue":{"value":{"entity-type":"item","numeric-id":3673580,"id":"Q3673580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$24E49919-741A-41DE-AAD7-832D944248CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a6eb14edd04072ee7d4c393c80f669541a3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3914449,"id":"Q3914449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$768F8D30-DD2E-4150-8A8E-8226FEDCEA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c607a5c94b8428a7cef799300e9b3e6ed0c004de","datavalue":{"value":{"entity-type":"item","numeric-id":2547483,"id":"Q2547483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$C8C25A84-583E-4627-8B37-550DB007E2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eefcc0108b8e9311aa2dc9dff405d1efceebb34","datavalue":{"value":{"entity-type":"item","numeric-id":5588122,"id":"Q5588122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$23B4FA82-EC71-4BED-99AE-025CF7017B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$960B71A1-C711-4CEB-9228-EAA04EAA2018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$91599D43-D659-49A9-9D0E-7928591AC0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6315d9cda93162c2aba33a1d3e5ec00f12fd74a","datavalue":{"value":{"entity-type":"item","numeric-id":5729523,"id":"Q5729523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3730348$D2A7CF9A-414F-4466-9242-EBB6DC6CB822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45884022ce7a95836575dc1bcd6780437a4a857","datavalue":{"value":{"entity-type":"item","numeric-id":3197328,"id":"Q3197328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4045db094bda2b6962dbd8c7b77b60db5b97d9c8","datavalue":{"value":{"amount":"+0.8453035354614258","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":"Q3730348$333B6370-BCEC-4C41-A2D6-F7D63D8CF116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108e4fa538ff122a64e86b6d7a04c43de38cbc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3783218,"id":"Q3783218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66745816211f0e5951e45fc5d0ed48c75c3b071b","datavalue":{"value":{"amount":"+0.7156882882118225","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":"Q3730348$7AC6D8C8-6B8F-4247-901D-D4D70E01D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786c897f6a4998f560469e1673233a672bb003b","datavalue":{"value":{"entity-type":"item","numeric-id":3342375,"id":"Q3342375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6a34323bb823369db8f95bc34f0df80d1202f9","datavalue":{"value":{"amount":"+0.7063207626342773","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":"Q3730348$3D5F006F-D6A4-4EA0-A2C9-A67265339279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dacc42b9bc67b21b242bba981996047d5309925","datavalue":{"value":{"entity-type":"item","numeric-id":5899306,"id":"Q5899306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62769d9f5d8d0b3afb3982fcfdf88661890efac0","datavalue":{"value":{"amount":"+0.7036517262458801","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":"Q3730348$7548C47F-9B60-4A3D-A024-9AC2920A6F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92b6c1be3cf4505eeb684579eecca4d11ddbe0d","datavalue":{"value":{"entity-type":"item","numeric-id":3769993,"id":"Q3769993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961d8afeaaceebbadc54c62e98ae35472914d078","datavalue":{"value":{"amount":"+0.7024856209754944","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":"Q3730348$BE2E60E1-6718-461C-9A49-6848A67B1FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3730348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3730348"}}}}}