{"entities":{"Q3680806":{"pageid":5710712,"ns":120,"title":"Item:Q3680806","lastrevid":50057899,"modified":"2026-01-12T20:18:14Z","type":"item","id":"Q3680806","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902618"}},"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":"Q3680806$524896FA-9CC5-44FE-8B95-2ABF81DFD24F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d05ffa63b92d89f3f52ed2ce91dc20880dd5b223","datavalue":{"value":"0566.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680806$5B365729-5104-4949-9AB4-9D0987BA2F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$E9241B01-7F89-4830-9E08-7E0FC640E82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3680806$8BDC72F4-0512-49B1-B820-47AFDDA808D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1adf71ab7be604e3c1f2e0d0a430451536da5960","datavalue":{"value":"https://eudml.org/doc/92204","type":"string"},"datatype":"url"},"type":"statement","id":"Q3680806$A8D180F6-C32C-498B-B07E-27C174041BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680806$C8911471-DA2D-4CA4-8FF3-42551CA2224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680806$76123B00-18D5-42FA-88B5-1D82EF08F071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc12fc1aa28d7a599dea89f6422d3e7cff8eff23","datavalue":{"value":"3902618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680806$373FEFEB-54BB-4976-B466-C01300490F4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$013C8C36-84E7-4B42-A501-72F9F7C5FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9514963dc15c17964f399b11a8b89e0ae194788a","datavalue":{"value":"\\(S5^*\\) formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$338B8827-963B-4914-B3FC-4E041A27AED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$28D08959-75B3-4B1C-90D8-3822C140BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34faa57811b42c7ef4e4a37c6ce6bdc7e8be0ee8","datavalue":{"value":"semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$0093DB71-B3B4-41FC-8D9F-F3B51DAD623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$3FF7A5B0-F391-4D7A-B5A2-8D54DD316045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$D79A9FCF-E175-4310-BA84-FEC59EF2D0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74af4156d7d01ec4c35faca04668222c2c1240b3","datavalue":{"value":"existence of a refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680806$1E5E4CF6-8BD3-4DBA-8044-300CA3E79E9F","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":"Q3680806$C6E04F3A-5795-478C-A79B-35FADCD86F4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$6A02E103-60BA-493F-8DD1-C8FE7DEF6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$5113F278-D675-411C-8589-5B34741B7CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$5E5C80AD-24CC-4858-9E9D-73CEC3B4BD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de233c938bb18fe74442a17cf92521dfb77f38de","datavalue":{"value":{"entity-type":"item","numeric-id":5841792,"id":"Q5841792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$9A813CEC-5698-46A6-8904-B09B3CA30F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$F5F438B6-4BB5-449B-BAAE-D6B89ECDA8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$AD33F6B7-681F-497C-87C7-5CE4FA4CDF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d16bf9ea058355bc9e0359ea132971455a0c04","datavalue":{"value":{"entity-type":"item","numeric-id":2562774,"id":"Q2562774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$0755FFC0-CB07-4163-B7F1-06646379646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680806$C020E715-D0F6-43A8-B167-F9FDAE5F8556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147c744abaa5ddf37972bf9612532febf4cc3840","datavalue":{"value":{"amount":"+0.8427879214286804","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":"Q3680806$E21594D0-0AAA-45CB-8294-02749F1243FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3172d8e82fafee22e1867382916a919fa8e2fb94","datavalue":{"value":{"amount":"+0.8353316783905029","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":"Q3680806$CE393A3B-93DD-4119-8B25-9C25F4D170EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc46598839674c6373d7d15a622fa01ffb7b11ba","datavalue":{"value":{"entity-type":"item","numeric-id":2487862,"id":"Q2487862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3865cb7a8482e80ff332c7fb201df5bfa2ceba2","datavalue":{"value":{"amount":"+0.8259496688842773","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":"Q3680806$185DC393-54E9-435D-84A2-35585727D8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3534d57a3ab9df7b445cf4500f27d49b52ed2","datavalue":{"value":{"amount":"+0.8175891041755676","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":"Q3680806$AD5B387C-33C7-408A-BC0E-0934DC9CD961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af9cf8c08736063a1876ae391529af559c77466","datavalue":{"value":{"amount":"+0.811621367931366","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":"Q3680806$7C0BD224-65CD-4C4F-AF80-741B11760E3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3680806","badges":[]}}}}}