{"entities":{"Q5957457":{"pageid":8134259,"ns":120,"title":"Item:Q5957457","lastrevid":97721528,"modified":"2026-06-05T15:17:43Z","type":"item","id":"Q5957457","labels":{"en":{"language":"en","value":"A note on functions associated with G\u00f6del formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716928"}},"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":"Q5957457$0E1881FE-A057-4475-B294-CA998E92EC5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ce8133d477d71c28423c127ea2cbdfedacd9d2a","datavalue":{"value":{"text":"A note on functions associated with G\u00f6del formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957457$7A557BE5-2944-483F-B98E-2E00CD4E9E03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b28c68bdbc2927c34446269d4c76651c854eed0","datavalue":{"value":"1002.03520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957457$142F9DA0-A7AF-474F-B284-735EB6F6F4EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610921c71241a90ce1b7c4226a513d3e97e6dd27","datavalue":{"value":"10.1007/PL00009890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957457$CBD00A1E-E23C-4649-8BA7-0F031BB1A67A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a721f9f293b1ce957f8abb1355293ce053ad0a","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957457$E987DB83-473C-4953-9247-ED9D65A5DE46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957457$49D5D319-B608-4A5A-A071-106EF4B35C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-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":"Q5957457$29672DB5-661E-431A-B66E-F700172FED04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957457$1C23191E-CEF7-4DC8-AA4F-79ABBB04AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957457$96364FDF-B937-45AA-AAF2-439CDE5A1640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0559a6e26371b5f27032776b3c4c643878fb752a","datavalue":{"value":"1716928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957457$95C104F2-A1D5-439A-B067-728FC20E3488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011133d67fadfde84f1216a5dea22b75705d8f28","datavalue":{"value":"continuous t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957457$F11705CD-C706-4015-8DF9-AF73F017053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957457$97B6EEF0-289A-4B5A-A8EE-41F7C8E775BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12651791bdcad7d6277c12dfbf4a9f520298996","datavalue":{"value":"free linearly ordered Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957457$035F569E-48E5-4905-9720-ABF78438DCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957457$1FF1D7E8-069C-48D9-BC1B-AFD7EAD0105A","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":"Q5957457$B34C85B6-AC01-43D4-81AD-DA2F71D3EACC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on functions associated with G\u00f6del formulas","badges":[]}}}}}