{"entities":{"Q4691737":{"pageid":6721314,"ns":120,"title":"Item:Q4691737","lastrevid":53250521,"modified":"2026-01-24T13:35:22Z","type":"item","id":"Q4691737","labels":{"en":{"language":"en","value":"Automated deduction in G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6963790"}},"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":"Q4691737$595055EF-FFA9-495A-B381-9C8BF7209209","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08e17e7d46de570f0a330db9986762b0b8f5d849","datavalue":{"value":{"text":"Automated Deduction in G\u00f6del Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4691737$2F5B9AC0-7392-4E66-A205-7D44B5285D22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56d73f9ec664c9ae1b425d40ff601a733a2da44b","datavalue":{"value":"1407.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$45A347EE-817E-4C96-8FBB-5624EC17FC8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f5a595687281a48ef3f7e1cfdddecfe3a62ebef","datavalue":{"value":"10.1145/3218817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$E3A0C218-4A5C-4EF0-929D-22C4F98A1279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de1f06867ed597d52009da561394aa1479da7ae4","datavalue":{"value":{"entity-type":"item","numeric-id":835102,"id":"Q835102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691737$83C38C9F-E6A5-4043-9FAD-AB11A8FBDF3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691737$DA0CAD82-6A88-46A3-A305-C18B686CFE97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b8334f713edead8d670653c698431fc1461b2b0","datavalue":{"value":{"time":"+2018-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4691737$83943F4F-8A8B-40A1-A76C-55CF59A22F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$8F0AA0F8-5C71-413E-B5C3-28D3C991251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$9FCDC9AE-F908-4AAA-BD58-BFE81398340B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c77413701791e4e322e798f6490cc46826995c6d","datavalue":{"value":"6963790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$3E3300DB-77F7-4DAD-A716-F6A87FDC69ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4691737$F38DAE20-7E0D-4A4F-92DE-CCE487713029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4691737$D69087D7-E776-4E5E-B521-B7AB36586E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4691737$3667C449-DDF5-4BA7-9235-B534734FA12B","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":"Q4691737$628ABE4F-BEA7-423D-86C1-5E0D3EDC4B33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c4920297d7931e522c0821fec884177ebf4c423","datavalue":{"value":"https://doi.org/10.1145/3218817","type":"string"},"datatype":"url"},"type":"statement","id":"Q4691737$202EA4B5-0256-4D33-85DD-3FD8E048299B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08e62a624cb33f2b60382dfe602fe0481fbc3f5","datavalue":{"value":"W2890827357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$464FF66F-6E96-44D8-8705-596F9FD063D4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"067e65c8c162b6f0161d99e80688f5c4da3a25f4","datavalue":{"value":"Q130836235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691737$13469A76-2DE5-4738-9BEA-D30F4322EA0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b962f375580b82c2d85a6acf3932bf7a4f4b37f1","datavalue":{"value":{"entity-type":"item","numeric-id":2829667,"id":"Q2829667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0152ac657effd2a9b01c031ff5fe22c5528b0d","datavalue":{"value":{"amount":"+0.9199812412261964","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":"Q4691737$6321784A-DAC6-4594-942D-A2010DC96789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63cb0d652d7681a95720e4665fcfe16a34a440c3","datavalue":{"value":{"entity-type":"item","numeric-id":2328910,"id":"Q2328910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915fa0b771fc0970cf1e8dc34d562d3464df2d04","datavalue":{"value":{"amount":"+0.8993597626686096","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":"Q4691737$17B38EB4-55CB-44DB-BAE2-6776115F1C5F","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":"c538261128354fce1a7fb92dadf1e75cdef22594","datavalue":{"value":{"amount":"+0.8449112176895142","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":"Q4691737$AD8A5EC5-74EA-4FCA-8A4A-4F3CB6F0624C","rank":"normal"},{"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":"385ef2765411b931a3dad0f65afca9d6aeb8668f","datavalue":{"value":{"amount":"+0.7998354434967041","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":"Q4691737$AF79EC7C-8999-41C7-8752-84698B22C389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de34afdb9b082773bacb814a8bd7b9258df53ec","datavalue":{"value":{"entity-type":"item","numeric-id":5505574,"id":"Q5505574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d382b4739e450664d0705b899b47b6ad4265cd","datavalue":{"value":{"amount":"+0.7879422903060913","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":"Q4691737$CF70FB63-FD65-4C54-A3A5-73563BF577A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4691737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4691737"}}}}}