{"entities":{"Q2881087":{"pageid":2891807,"ns":120,"title":"Item:Q2881087","lastrevid":83681807,"modified":"2026-05-07T09:58:01Z","type":"item","id":"Q2881087","labels":{"en":{"language":"en","value":"Theorem proving for prenex G\u00f6del logic with \\(\\Delta\\): checking validity and unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021337"}},"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":"Q2881087$0CB5DAD7-1452-4B62-A3DE-272882132772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69b972dc88243f29d857b0535afe26554077186a","datavalue":{"value":"1238.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$6C5814E8-289A-4186-AE7F-85CF3DC747F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"885514b9f353eff3ea7138ddd39c851c124f8cb0","datavalue":{"value":"10.2168/LMCS-8(1:20)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$49F34513-B429-4757-8974-34A73819DF38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881087$22D896BA-17A8-40DC-A5C6-10C410DA9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881087$EC0FDF58-4746-4D3A-90D8-9659DF0884E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881087$1EBBC644-493A-4838-9AF4-BF770CA40FF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881087$8A4427C8-7216-4EA5-930F-4A19A554B823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881087$5C7298BE-833D-48D2-933A-C170642E7CCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5646ee10844cd465ffe12645fce5e4eaec546412","datavalue":{"value":"https://arxiv.org/abs/1202.6352","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881087$1F823AB2-F3ED-4A81-BEFD-58EEC034F971","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$E8380901-8A9D-4CC4-AE51-ADB97A797883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$6D59E71B-4C0E-4D49-9EA3-DF64304260AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$8DE7AAEA-DA6A-4477-97E1-8B5DD86F0978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af2b558665916b499b6c91ae2ae1fbaa778d93f0","datavalue":{"value":"6021337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$D0F17AB5-BD1E-46DA-ADB5-36CF9F2E2D4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$CC90E164-7E2D-4188-8893-D30B649E577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9fb7546b3f26fc46897faf9cff6442662e8861","datavalue":{"value":"\\(\\Delta\\) modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$C3D9E76A-43B8-472A-89F1-8A0FE5056F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$E682543B-4F92-4FB1-B05C-E97A09E111E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$2ED1FEAB-7230-44B2-B151-27BEAE4F0173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$50C7EFCF-1379-4AD7-BE89-41C74A0536A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$6597AD63-8AC2-4C48-A456-2A350B6C0B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$A6BE932B-5448-45D9-89EE-4B0620C732FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd6f1807b219c185a3db40e4771d5c6d7ecc463","datavalue":{"value":"chaining calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881087$397B5ED0-0A1B-478D-B13B-8137F27735AF","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":"Q2881087$5ED96EBE-C0DA-4950-83CA-0B7304F15C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b6679cc82aeb3f7607b03e5bedae0715f133c67","datavalue":{"value":"W2025894783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881087$6E73122A-5EB6-40A1-BAE4-AF869B94EBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30d1fe1d31c6d54e979efd1cb9a4a2a302a9d566","datavalue":{"value":{"text":"Theorem proving for prenex G\u00f6del logic with \\(\\Delta\\): checking validity and unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881087$4D24A9D1-D02A-423C-AC84-4B69F38AB517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcb2c264f263d0da99a24ff32fcffaf9bb08a36","datavalue":{"value":{"entity-type":"item","numeric-id":3586034,"id":"Q3586034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0932287f8de9ae72b15e4b86711375cfedf9bfde","datavalue":{"value":{"amount":"+0.9132580757141112","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":"Q2881087$CB738DBF-F448-4E23-A975-85C4A4718409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dab29410299994a7c67989be452809fbdeaff2","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1424e749c226e65e5fca114e4e7fa2f043bf31d","datavalue":{"value":{"amount":"+0.8626037836074829","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":"Q2881087$9994FFD0-FF60-45EB-92B7-C3E8ACA8BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf094863de7591cc772d5c34a73dd810ec33995","datavalue":{"value":{"entity-type":"item","numeric-id":4557171,"id":"Q4557171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b9315052e5597efb07cd58f2c2d574f076a8eb","datavalue":{"value":{"amount":"+0.8041525483131409","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":"Q2881087$6D605B6A-4B18-407A-8C8F-A47C9F3B8837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e4caa40d6b432c9706cadaa3edf2f4852844fd","datavalue":{"value":{"entity-type":"item","numeric-id":4691737,"id":"Q4691737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52d34756800c5b2fb4036b9ebca76ced1eb7dca","datavalue":{"value":{"amount":"+0.7707132697105408","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":"Q2881087$F285C7B2-FD1F-4CE3-93F6-BD70BAA7D1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaea4c2e4113058e9c8d59ff28c9413b118e7b43","datavalue":{"value":{"entity-type":"item","numeric-id":1759702,"id":"Q1759702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829fbaebdf3179cfd7acf31d8d3409b62b8d5860","datavalue":{"value":{"amount":"+0.7659978866577148","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":"Q2881087$8CBF5717-5FE1-404C-8BE8-1910124A6F09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving for prenex G\u00f6del logic with \\(\\Delta\\): checking validity and unsatisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_for_prenex_G%C3%B6del_logic_with_%5C(%5CDelta%5C):_checking_validity_and_unsatisfiability"}}}}}