{"entities":{"Q708020":{"pageid":709869,"ns":120,"title":"Item:Q708020","lastrevid":63895935,"modified":"2026-04-11T16:16:49Z","type":"item","id":"Q708020","labels":{"en":{"language":"en","value":"The complexity of variable minimal formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5797960"}},"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":"Q708020$A8E36878-000A-42FF-BBC3-C5BA0E3578B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bd5f55964d325e7bacfeef4f6561ef9a656b14d","datavalue":{"value":{"text":"The complexity of variable minimal formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708020$E6970C4B-2B9D-4916-94B7-12EC7B55F1AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27b040fe3ac75bd02fb58972ed565140c3ca3d67","datavalue":{"value":"1196.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$F8D9F048-4982-4174-84F6-5C6569D5BA2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbcf40ed2e7134df6055b0c92761909463e1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":232445,"id":"Q232445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$6EB6ECCC-E6A6-4C02-A0BB-47EB43709465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb9143325ff858045b2484f2a4415f3162aeb75","datavalue":{"value":{"entity-type":"item","numeric-id":323493,"id":"Q323493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$7C9BF2A9-A167-4114-954F-91B1C041DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb78d6e16e1b42b714676493ccae392d5911af","datavalue":{"value":{"entity-type":"item","numeric-id":162006,"id":"Q162006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$DD9ED938-4878-4BA2-80BD-70008C33DBC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$4B423F08-657A-477E-824A-FE99D11DEB69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12116120e612da11bd56798b90a3c232b35a10bb","datavalue":{"value":{"time":"+2010-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q708020$FEDFDA07-E5D2-4FAD-B853-379D7C09E3A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$52ED9AD3-8978-45E7-B00D-8A85939E4970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$E67EF6F5-0707-4798-9B8F-ADBCA4254007","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49bab10fbcf7266adf24132991b04f38c48be3c1","datavalue":{"value":"5797960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$9F32EDB5-3679-4BE9-9CB0-DB38BA9EEBBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q708020$1BF57540-2578-4664-9671-849C0D01AADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a69d8e1b9b5f34d45bc10fdd6790a2de0f55c14","datavalue":{"value":"prime implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q708020$C231171B-33BA-4B5D-A644-C10957621FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc1beed07c0d5b32d9c99259611891ced9a07d3","datavalue":{"value":"variable minimal equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q708020$55A637CB-0260-47BD-8BDD-2C64E7AD8FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa06ef7bb9b2261fbeb8eafc68caefe30f97a42","datavalue":{"value":"variable minimal satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q708020$01334E7C-9F79-4B34-83B9-2E107E76A7E6","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":"Q708020$2EA30C06-8885-4975-A2B6-020391A00415","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bac4571cda3174bf351174ccb6c3dcf7e980cd26","datavalue":{"value":"https://doi.org/10.1007/s11434-010-3127-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q708020$2FA94A04-7E5B-4EDC-BDBD-2B86BEBA6502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a609b57fb95023550cca831d1554580c40a9c3e","datavalue":{"value":"W1963548648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$C62C80D9-285C-4390-AFD1-8648B13AC692","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae90d778d4c8cb3df77b34386de5d40b7615e30","datavalue":{"value":{"entity-type":"item","numeric-id":3508540,"id":"Q3508540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$0D3F8D42-CE78-4E6F-B404-3F6D94118671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$0485FCE5-7480-4AD4-B5F6-930B540D4233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$E403A6ED-C259-45B9-9622-46743DABE132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4555b8516a2a6e9af4db748d7449dd969982e6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$319696C2-562F-4624-B770-B51B135341D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb22f81e7fd8b21e58a560b92d42da10216c4a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5473177,"id":"Q5473177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$3B0361CB-6CDE-4D50-827F-0CAC09D07F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8791e81722c3ee2168ff96f3702f2d24dd01251b","datavalue":{"value":{"entity-type":"item","numeric-id":5898881,"id":"Q5898881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$A17D42CF-EF9B-445D-B631-69032F321517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16733ac8b8cff590ad55c828461fafdebb943ca3","datavalue":{"value":{"entity-type":"item","numeric-id":5473156,"id":"Q5473156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$C01693AD-5A2C-474B-9D47-0E6589075F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$60738469-5D8C-4D5D-A344-CD158F5549A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$D417AB54-DBD3-494C-A67D-5D538B00F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$B1A8FE14-72BD-4C0B-B112-03F7C390B382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708020$4115E956-764A-4CEC-A63D-71DF3A9E5B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c50fd68f83be07e0a72ee391eb810fc6f7dd7bc","datavalue":{"value":"10.1007/S11434-010-3127-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708020$603DBDE1-8591-4527-A1DB-3105DA6BA776","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941d8aaefc944e1351dfc5500ac72aea5b37e80e","datavalue":{"value":{"entity-type":"item","numeric-id":5898881,"id":"Q5898881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2561b5642b94c10946728b435ef703a80aec6ea6","datavalue":{"value":{"amount":"+0.7997745871543884","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":"Q708020$D4830334-45B7-42EE-B12F-7DA4A1703633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f3b959abc5df196425724c440feff6626db7e9","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb609de1bd827cb9410c3e0ef76f8fd576f05ffb","datavalue":{"value":{"amount":"+0.7771482467651367","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":"Q708020$F1B4DFA8-210C-47E0-88E7-13CFC7E384CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902cfb41e25fa5209a29bed49cf2926995f04c55","datavalue":{"value":{"entity-type":"item","numeric-id":1777408,"id":"Q1777408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d740a08fdcfde8f06f9b561587bb74ac8f19970c","datavalue":{"value":{"amount":"+0.7744818329811096","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":"Q708020$0C1177B7-9A20-47F9-AC9F-480FE97F3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103d5b4da1f69720b579cf5f7a30ea292acbb947","datavalue":{"value":{"entity-type":"item","numeric-id":3434502,"id":"Q3434502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ed57765cd73889760688254d5e1e1e6b43eafd","datavalue":{"value":{"amount":"+0.7730749249458313","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":"Q708020$277B8AB5-BDC0-4649-960F-29CD249F0B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369832fe5edfe5290cf1d5c4616390b7a8fe088","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d051f5c2121f91d31d55bc0f1f577f6b7d0ec99","datavalue":{"value":{"amount":"+0.7628557682037354","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":"Q708020$5CC6394C-24B6-461C-977C-0860A1ED017A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of variable minimal formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_variable_minimal_formulas"}}}}}