{"entities":{"Q787128":{"pageid":788976,"ns":120,"title":"Item:Q787128","lastrevid":64331517,"modified":"2026-04-11T19:08:02Z","type":"item","id":"Q787128","labels":{"en":{"language":"en","value":"Coppo-Dezani types do not correspond to propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3839919"}},"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":"Q787128$C78B7D22-FE6B-40F4-BA79-0CF209991F83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e28d9a8aa6541e14268519fe17eef8fcfe40a81","datavalue":{"value":{"text":"Coppo-Dezani types do not correspond to propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787128$9780D237-6F43-4DA4-91C4-2B1F4033092D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d6bc0a6d55188d685bd7ec1df378dbb27e130a9","datavalue":{"value":"0529.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787128$98272011-146D-4648-A61A-716DE9A2C4D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cdbe534ba6bd699a572e19c749966a4197cf197","datavalue":{"value":"10.1016/0304-3975(83)90074-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787128$CBFA77CD-FE10-44F6-B915-A6408A03A0E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4715195926e2963dd021320bc2ac15ee05ecc606","datavalue":{"value":{"entity-type":"item","numeric-id":787127,"id":"Q787127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787128$A8C79FCA-4FCD-479D-B2EF-5AE0F72A1B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787128$50119696-C52A-491D-A683-99FF195B679E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q787128$547983E7-FAC3-4477-AD55-41D950355124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787128$B2CB9FB6-975D-4727-A889-0109F1D7DC64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a028777c757ae379dfcf01fcd037e385509a30","datavalue":{"value":"3839919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787128$01CAD113-9659-47D0-AF34-77FF44BB823D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q787128$EE7649F0-7C01-42DD-A8FF-86D5CC80E22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q787128$30C49FE4-8F90-4103-85A6-A0081C2D1F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q787128$9C9F52AB-57A3-4261-8849-BF002AFA471B","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":"Q787128$203A99F1-9365-483E-BF2B-8A8420B62D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5922763024bcdca3b5efdbdc685856198d35ab6d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90074-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q787128$928D557E-3108-4683-9B97-7B125D04FD04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da091fcfc4ce031cd549a32db0feedaa933eced7","datavalue":{"value":"W2028965656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787128$50F4BC58-0B53-48AC-920C-A021238A1800","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787128$853F6BE1-A2EC-4987-9CDA-9816E1BF1904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787128$7421E328-5AF9-4E17-B630-FF0E55EC324C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coppo-Dezani types do not correspond to propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coppo-Dezani_types_do_not_correspond_to_propositional_logic"}}}}}