{"entities":{"Q3586034":{"pageid":5615938,"ns":120,"title":"Item:Q3586034","lastrevid":90339323,"modified":"2026-06-04T19:55:19Z","type":"item","id":"Q3586034","labels":{"en":{"language":"en","value":"A resolution mechanism for prenex G\u00f6del logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779238"}},"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":"Q3586034$BE34F9FB-7546-4D04-A8E3-F44BAA305D25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"646fa9644260ed05ef69dee4a6db8ca9297a34e2","datavalue":{"value":{"text":"A Resolution Mechanism for Prenex G\u00f6del Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586034$75697932-B069-4058-BE8E-BD4B279EBFB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729240109e3d08a02d8726d0afc8dc507d36dfa3","datavalue":{"value":"1238.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$3E6C59CF-CBBC-4917-9B4F-389C35DECCD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21a81f271ee5c1ac95de6ed3ac8d599a387316bd","datavalue":{"value":"10.1007/978-3-642-15205-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$7D05F300-ED6F-4668-B809-DEFBA25ACC34","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":"Q3586034$2C950FF5-052C-4763-A314-3269F22903D7","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":"Q3586034$027F349D-120E-4E26-9C67-2D076E3DC84E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586034$3AD5F33E-365F-4A2D-9E58-D3989B7A991A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-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":"Q3586034$FD47101D-88DB-4486-984D-44727F8582FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$7D1D4CEB-D0C0-4886-86D5-CFBD3F8B441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$FA3EF5CB-163E-424E-94FE-823BB75B97BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$AF8C362D-0DAA-460D-B0F3-C47F8640CEAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78db99d99b20347a406e956d38799ecf98cc0737","datavalue":{"value":"5779238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$187CEB9B-4F10-4F6C-8D0C-63FA22CE05EA","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":"Q3586034$76DEC023-2F1E-4145-BFD1-8D10737EFB2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70cc578e44fca00b82bdb3357c97f1d4c9999357","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586034$4FAF486F-5BDD-481D-94B0-D66103D843E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be5b970b7fdc92da9140854fff04b3b43046b880","datavalue":{"value":"W1605633286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586034$B9D20730-130A-4A3E-A1F5-8ED3EE7F7786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a0f6aec4ff3da4690ff60bcfee5d939b1e855c","datavalue":{"value":{"entity-type":"item","numeric-id":2881087,"id":"Q2881087"},"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":"Q3586034$BA78263A-225D-408A-A7C3-A27B4EF3D43B","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":"7e83b8c6b0dd85afb7b8e307b719d14eab4a705b","datavalue":{"value":{"amount":"+0.8286839723587036","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":"Q3586034$CCCB12EC-69E4-40CF-9B0A-C3F8BEF233AA","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":"bc3018fb0605071c6006b5e3100678f60d593b96","datavalue":{"value":{"amount":"+0.8247950077056885","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":"Q3586034$AB396D05-170A-44D3-8AA8-16FD695E4A34","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":"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":"Q3586034$E2F9E325-A7AE-4B85-B836-2B731E112CFE","rank":"normal"},{"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":"3d023412bd12a29bccb353a833c7d51e5e47bb7e","datavalue":{"value":{"amount":"+0.7991830706596375","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":"Q3586034$55C8064C-7DAA-48AA-BDCF-4D8910134DFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A resolution mechanism for prenex G\u00f6del logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_resolution_mechanism_for_prenex_G%C3%B6del_logic"}}}}}