{"entities":{"Q4724624":{"pageid":6754201,"ns":120,"title":"Item:Q4724624","lastrevid":49050013,"modified":"2026-01-06T12:51:36Z","type":"item","id":"Q4724624","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997784"}},"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":"Q4724624$268AF282-F933-49B3-B72A-1B8B56F6FDA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddad775a5422644779f7975cac07160bf24ab7eb","datavalue":{"value":"0616.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724624$B7BC0ED3-1B27-41A6-85FF-226474F3A750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q4724624$D4038BEC-FD6E-475E-A5C1-54725CB596CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da45cde8f008c52c9f02ea382ea23a9125e0addd","datavalue":{"value":"https://eudml.org/doc/181751","type":"string"},"datatype":"url"},"type":"statement","id":"Q4724624$07C5585E-65AB-4DA0-A0A6-34170FCEBFEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724624$64318FC9-74FE-4964-9EA4-BD49DB0F95C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724624$D4BE4450-1A73-48E4-80A6-DFF28DF061C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c997401bf3cc1c251b57fcaa8addeb81fe74e085","datavalue":{"value":"3997784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724624$5D96F1D9-0F19-41A3-A4C6-7271A1B9985E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$A219248D-5D7D-4FFD-8D22-E7E9C5558295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$3C042ADF-CE6B-47A7-A056-6B341746716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec8c7ef6e921573c109550b9394b00a3872f2590","datavalue":{"value":"intuitionistic sentential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$1DE69B0B-C318-4F8D-B684-964A7B5283AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2c8844ccd63b85741e2ebff90c44f254fde2fc","datavalue":{"value":"intuitionistic sentential connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$FD2EEA22-D057-40A3-9D9D-2AACAB966CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3e61c491dee5b825b8622e50b5ff427d96ab09","datavalue":{"value":"Beth semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$29858249-F9F5-425B-877E-81116026F820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42140bf5c60886d1b662a67ae83288a51c3eab50","datavalue":{"value":"IPC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$DC8E7271-27AF-4011-80D0-D67CC566CB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$09C597E1-08C1-446F-8B65-22EA607D1EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270d57f4b825901f18369ffadb620fe3a57dfd0e","datavalue":{"value":"intuitionistic connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$E54F6A1A-4E34-4BD4-99A7-28DF89319027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260f6f3005897f8087ee32ab4d8fdb7aeb3dc39d","datavalue":{"value":"arithmetically definable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$C8EDDBD5-33E4-4B04-BC09-5DC8030B7F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa903f514074dd85369c45cfddbf1af59e46abb","datavalue":{"value":"intuitionistic implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724624$98F7E3B7-7899-4CC7-A9B1-112FD2B89B71","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":"Q4724624$36B9BD34-8EAC-4D53-9B40-39D6039AD32B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8eef91c582e10b0ff06cbfcbc0182e8b97c397","datavalue":{"value":{"entity-type":"item","numeric-id":1111536,"id":"Q1111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4be99af10c36fa638beeaa7ec295e188bdc6366","datavalue":{"value":{"amount":"+0.8492764830589294","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":"Q4724624$3C5B687A-0366-4DF7-A82F-876E242A9B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb3ad0fdf9001a5819d8c7bfbc5b6db7edd2611","datavalue":{"value":{"entity-type":"item","numeric-id":1111537,"id":"Q1111537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae051781403f244e2831711468d61ae04ea3e1f","datavalue":{"value":{"amount":"+0.8385007977485657","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":"Q4724624$72278B8F-489B-445C-927B-7FB9605C62F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328f53c59cbb918ef3065657271cd87b088cb74d","datavalue":{"value":{"amount":"+0.8217644095420837","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":"Q4724624$5F3AC797-B300-4028-8C5B-0BF2D743FFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866519116130d78fafa38a0400bd4a30ca13d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f912e9e780115999f08825b419941829a12ef6bb","datavalue":{"value":{"amount":"+0.8077182769775391","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":"Q4724624$601B63F0-0AC5-45E9-9B47-B94A75CE6C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319c87f1220779afa76f224ce6247716062f3069","datavalue":{"value":{"entity-type":"item","numeric-id":5283966,"id":"Q5283966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33a49ccbfa177bb44e92de136f70ecf46aa7c50","datavalue":{"value":{"amount":"+0.7940697073936462","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":"Q4724624$97B4ACCB-DF2E-462D-855C-41FE43EF78F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4724624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4724624"}}}}}