{"entities":{"Q293360":{"pageid":295127,"ns":120,"title":"Item:Q293360","lastrevid":60705066,"modified":"2026-04-10T18:37:36Z","type":"item","id":"Q293360","labels":{"en":{"language":"en","value":"On the complexity of Boolean unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590751"}},"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":"Q293360$80B1EA05-200D-4CF8-AAA2-B98BAF8B5E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a869e2682092eecde34f390ca08bf9952d32684","datavalue":{"value":{"text":"On the complexity of Boolean unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293360$DA6D23B3-0E45-4960-916A-7FBBCD0CBD68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"945e78d0a0086f72a9664261f1e6040c73ab6254","datavalue":{"value":"1338.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$BA3A7133-03C5-4053-8D0E-E620E7B7A836","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e39e36ee3fa6443fc18b39285af162e6a26bd6c","datavalue":{"value":"10.1016/S0020-0190(98)00106-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$5D373D42-B892-43FA-BB12-B4282CA3CEEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$50D7768D-9102-4095-9306-E5217415F17E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$2879B990-27FB-4796-8D05-A0A62916BA8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293360$4FBC4998-E3F1-449E-9560-88E8B9579DFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a0b4f0292d873c02702503bf467ddeb0790f1c0","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098001069?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293360$6495DB4A-2742-4B94-A5A9-70D1653EF8A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$F09B84DB-66A3-44CA-AA33-7EFC90738BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$F6186333-40C6-4888-B5EF-319417147AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$AA605F2A-8AB7-4D13-A892-48E05357E012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5620cba362cb348f0ca56bda84a948db0ef5316","datavalue":{"value":"6590751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$B7BAC94C-2B33-4D3A-8E23-B2EFEEE21DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q293360$5C6E450B-CFA1-4968-A990-32F2B02C764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q293360$33814A1C-4B84-455E-B480-737C88875702","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aaa8f1fe7057a2db7d069a61e6815cde0307b780","datavalue":{"value":"Q57383729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$A04AB3BB-7085-4D30-A1AD-DABBCA9E3962","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":"Q293360$C9ACE1F2-EDDA-4E5B-A801-66AD2CD30D80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$B432C3B1-6B3B-49ED-BC0F-2FFFF95A22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a24cffd41ef373432aa4b100a31bd9fd24151a","datavalue":{"value":{"entity-type":"item","numeric-id":582073,"id":"Q582073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$0AA7949C-645D-46FB-A1CA-21B70E352732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4eb651c8363807599380b2222eea5dd308b21b","datavalue":{"value":{"entity-type":"item","numeric-id":1596540,"id":"Q1596540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$A6BB6E6B-7FB4-42DF-8A1B-82BD4A6528C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5020c04500a91709182037dcf1bddd4989e76c6","datavalue":{"value":{"entity-type":"item","numeric-id":1100935,"id":"Q1100935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$17C7CCAB-A496-42E2-A038-DB364A114BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$633564CF-879E-443F-996A-B0BCF0A80149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7d3dffde4b639a5080d558096cb7a34be71d72","datavalue":{"value":{"entity-type":"item","numeric-id":4146529,"id":"Q4146529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$2F3D2108-ACCD-4FAE-A1BF-D4FC7D11F721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f75001de0f0cabc37226d9c3d51095d9da43de","datavalue":{"value":{"entity-type":"item","numeric-id":4647521,"id":"Q4647521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$D2AA17AC-57E3-4E1D-B715-A0A5B93CF052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf1d346c09e3ff74cb962a3ae96a718bd8b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$EB2994F3-672B-40B8-9E0A-5C5CAD0545AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d1b54f39385e475024bcf36a9244162838f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1137036,"id":"Q1137036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$ADABD914-5037-4B20-9FB3-BE4D4BDCC916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$4323B21F-0A4B-4678-B2C2-36290D06E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf52ff9535def97a60a78e4a20f91c32385652c","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$A5051775-D6A9-4657-98E5-956964B4D0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$ED5930C9-351E-424D-B972-148460E6E86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$8155AB21-BF29-4807-B140-4C8C0A99BB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$31C6C031-2B1D-4F92-9C60-166E48ED6F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293360$F9EB39BA-E26F-4373-9ED3-DCE304F1C3FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35ac99fc54c38176972b166ddcfc8addb9714006","datavalue":{"value":"W1981232804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293360$4AC6D9D6-22B3-4AA5-B7A7-087293491331","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2890ff69813fd69b1686564860f01fae9808e734","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64c0b827d5057003be83c77ba585f0d78c6b35d","datavalue":{"value":{"amount":"+0.8341866135597229","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":"Q293360$C4DDD61D-B477-4796-BC69-9F4AD7864DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1a18a12747bd61dff618a5e1b20bc7bc83e78","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24844f394be0a4441135440e289bb8372a934ff2","datavalue":{"value":{"amount":"+0.8163328766822815","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":"Q293360$E32B6746-FD48-450F-A596-562A65C992AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47da3a4a1c9670b61433fd7fdcee46d7d9499290","datavalue":{"value":{"entity-type":"item","numeric-id":2987044,"id":"Q2987044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770977e9b040e5e644a638c9d7819acbc2f21e0d","datavalue":{"value":{"amount":"+0.808662474155426","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":"Q293360$E1DADBD3-FC5C-4392-9C54-F3B1A25E7DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b22272a236fb8750cdffc447877fa14e32a514","datavalue":{"value":{"entity-type":"item","numeric-id":3028368,"id":"Q3028368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a3589df4fdf567f6238aee91ad52f9e7a4baa6","datavalue":{"value":{"amount":"+0.8082495927810669","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":"Q293360$5BA6B0B9-77EF-4DA2-9992-2C43A539B63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ab82464733ae093221bd883fc01fe400e5c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":582073,"id":"Q582073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90550f405483138e04273a529e5181d4e5aea986","datavalue":{"value":{"amount":"+0.7982403039932251","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":"Q293360$313BF4B2-67D0-4878-8330-6EF5ED3E9F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of Boolean unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_Boolean_unification"}}}}}