{"entities":{"Q2770974":{"pageid":2781712,"ns":120,"title":"Item:Q2770974","lastrevid":83289251,"modified":"2026-05-07T07:05:22Z","type":"item","id":"Q2770974","labels":{"en":{"language":"en","value":"A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1704398"}},"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":"Q2770974$F4FFD7D5-8EDD-41A4-B780-9BD97BB4801D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bf349dcba442d136e676f90b8b029c8996ae849","datavalue":{"value":"1009.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770974$A0A94970-6F76-432A-85B5-9583E33537F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a75aa0ce15c29930bb5bfb3686899092a610e21","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770974$046D071A-2A57-44E9-A78A-1AF428F14787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f1285207007c5de1da6998ba639fea3c05ca661","datavalue":{"value":{"time":"+2003-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2770974$9A94EEA7-3353-4DB1-9DBD-69BB37EEEDC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770974$5A86A8F3-20CB-4202-915C-4BC7F6F0ABF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770974$C48FE288-29B7-48A9-AE58-C5A2E9660870","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8152ee1d5625a2b3fc4729c1c7fad7a45b2cf8a1","datavalue":{"value":"1704398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770974$11F684DD-C2FC-4356-92FC-1DA03BF6ADC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282c893f55920cee16c8702757a1ad5d779157e8","datavalue":{"value":"relevant entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770974$6820410C-213C-4BE3-8376-4D4979E34874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770974$F1FC9106-51B3-4CC4-B5F8-4AFA104D3963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47d2c6485dc8cca3f3650538a94578cac091083","datavalue":{"value":"Grzegorczyk semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770974$594B8FA3-1FB9-4F6B-9BFF-FD9FF115243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a939dbb56383245bf4572f817dd1fb8e29c6f7b2","datavalue":{"value":"Hilbert-style axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770974$A1930DC7-9C01-46B1-BDBA-CFDFB6860900","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":"Q2770974$4A251F78-AE27-4880-BAEB-4524DB96D605","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7225075ac7480ee85c8113182728343bd1422735","datavalue":{"value":{"text":"A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2770974$1E9F0ECA-1BA5-4027-B475-6C62C2BEF142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770974$4216E9F4-3D3A-4C5C-80A4-583B6067C973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85d878b0378a885d287ac4e5cf92c5dbb6318a0","datavalue":{"value":{"entity-type":"item","numeric-id":2782585,"id":"Q2782585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56a6f11d1e0c8f07cab1eacafc3c9653e865801","datavalue":{"value":{"amount":"+0.7912358045578003","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":"Q2770974$FFD2913C-BDDD-40DD-A20E-0ED3F94C738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a648b1c20f7566418d36945603c5a83c23c54d","datavalue":{"value":{"entity-type":"item","numeric-id":3305606,"id":"Q3305606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8cb43918467cca11194bab8d8ef1bdaecf3968","datavalue":{"value":{"amount":"+0.7899245619773865","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":"Q2770974$F35BD532-45D1-4CC1-B3B6-5DEF34B570F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30a5baf48d471ed8755b197249ff9de63c14aa","datavalue":{"value":{"entity-type":"item","numeric-id":3567763,"id":"Q3567763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efba384b5718a7150a5a3f56ff71b4097f5fa3ac","datavalue":{"value":{"amount":"+0.7825605273246765","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":"Q2770974$CA64C287-A034-4EFA-8E14-9C2E0B54B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b63c8d01999ba16ba4adae21a9fcda0b3087273","datavalue":{"value":{"entity-type":"item","numeric-id":3119286,"id":"Q3119286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ef9af0c7d8ac109f76f7c65204820b52c5c5f8","datavalue":{"value":{"amount":"+0.7789867520332336","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":"Q2770974$E0A86C0F-2D14-4AA3-BEBE-C9DDB6D8F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92bc8a97490ed292da55d9bd16077de5f1f3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4268411,"id":"Q4268411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7e65e881f8998ff6c1c261027093b2e236266e","datavalue":{"value":{"amount":"+0.7633771300315857","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":"Q2770974$98E13489-28CD-4F91-9EAE-D4F24CD06ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_philosophically_plausible_modified_Grzegorczyk_semantics_for_first-degree_intuitionistic_entailment"}}}}}