{"entities":{"Q1788330":{"pageid":1799072,"ns":120,"title":"Item:Q1788330","lastrevid":72960504,"modified":"2026-04-14T09:01:55Z","type":"item","id":"Q1788330","labels":{"en":{"language":"en","value":"Univalence as a principle of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6948554"}},"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":"Q1788330$EC923535-4BA6-47A2-A306-34012E63F3D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a4b5a429e231eabe2e13605b9c80e271e824bf3","datavalue":{"value":{"text":"Univalence as a principle of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1788330$BC9FCCA4-415D-4804-B771-A928B05EDD1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f14284edc82c1c0b15092c930bf892d434eae5fc","datavalue":{"value":"1437.03168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$05D9421D-2684-48B4-862B-5B583D626321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$AC393FD8-EDDC-440C-A759-D3181003C597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b482b6ba3fb35deb96d8a9f107a3b0da26ea6358","datavalue":{"value":{"time":"+2018-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1788330$AAFBABA5-187D-4115-82A5-260971E901BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$BE5A8F1C-BE76-403B-B356-A621D451321A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$12F90C2B-D37D-489B-9E88-870345CC0DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$5F287261-9F72-4FC1-9C0D-DF8E8930A249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$50E679EC-5A3A-4FB7-BE3A-F7ABA657BDA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc5159e8a54fbe8f5ff9b1997e8ed1641285c840","datavalue":{"value":"6948554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$710EF02C-A80C-49FE-9E54-1776711FEB79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$58AB825C-FB28-4A51-8038-1F6A77D2B33E","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":"Q1788330$213F02E7-3C36-4C54-8795-1C8EC382AD70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7c55fb5264fac0bb943ad04c0158dc8deaf0b01","datavalue":{"value":"https://doi.org/10.1016/j.indag.2018.01.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1788330$DAC24C38-1BB0-4B09-888E-E4F302549C6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fae180625a442cd8ee3aecc8fc8175d55aa38258","datavalue":{"value":"W2811094863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$CBF5761B-E2E5-4BBF-B1E4-528C291E96C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01842406e5a45c869ae6b85179d666cfdab3bd19","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$D720A785-E734-4928-B330-88D7AEF247A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$7B5A0B50-2949-45C0-8683-5EE608F17163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfd628b5a8c4a68f71c297d82cbfc04e252a39e","datavalue":{"value":{"entity-type":"item","numeric-id":5839915,"id":"Q5839915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$C9EF6B6F-9413-485D-B054-44E1C9A7C5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0495b50e16cfa14906a11769d92f1865fdafa3","datavalue":{"value":{"entity-type":"item","numeric-id":976533,"id":"Q976533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$D771D48A-566E-431B-B8CB-0840EE5ECC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$7C678536-022E-45EC-81E5-B30F28C66DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$DF98A032-91B0-4F0B-8FD8-4D64F329FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1af79f1a19718acb443ff78cf9bc734c7d0abb","datavalue":{"value":{"entity-type":"item","numeric-id":4282801,"id":"Q4282801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$FF440794-4E61-47E2-8102-1DF4DB9F96CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$C0EBA7EA-B579-4993-B4DC-5BDD9C8DE964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$FE73294B-0965-463D-92B4-BCCFCF479EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$3553F657-3BEF-44BF-AD49-D3988ADF8F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788330$23F11644-B5E0-477E-93CB-FD1908FED1FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c1f864742fbd8486c5768dac6bcdfc817261196","datavalue":{"value":"10.1016/J.INDAG.2018.01.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788330$DC4B70EC-61BA-4C83-B48C-0394B4A94243","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb753571a03e58105eac0ff15b22f4c3ffc2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9763352f2d3abd553a5ba189cc9c3f29c38223","datavalue":{"value":{"amount":"+0.8584802746772766","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":"Q1788330$9877747C-1B5F-4B19-97D6-6395969C4914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0420cce97e8b5165aef0b1274173080d667460b4","datavalue":{"value":{"amount":"+0.794191300868988","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":"Q1788330$DF862C19-A2E5-4A2E-B479-A6B415B910F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4d1b0501bc0ca62d393e5b76273a0ea507e928","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eea58ac5d8a484453ae24f61116bc5cbde742d8","datavalue":{"value":{"amount":"+0.7635641694068909","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":"Q1788330$589D30B9-20F2-4B8D-93AD-31A8E3577226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01ad0496e199640fc2f426b5e78cae1594c7430","datavalue":{"value":{"entity-type":"item","numeric-id":1708879,"id":"Q1708879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038301ed1b148720e0d5637d87805e268fbd497a","datavalue":{"value":{"amount":"+0.7601543664932251","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":"Q1788330$538DBD1E-3FEE-4D1A-9E5E-1C3E3D58513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2415820e121b4666002dd6a1ed6c319c7c544b","datavalue":{"value":{"entity-type":"item","numeric-id":4684362,"id":"Q4684362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f012c3a6a88011785bd9e41410bf5af9355cea","datavalue":{"value":{"amount":"+0.7580629587173462","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":"Q1788330$4AE1CECD-3601-4B6A-8609-3136983988A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Univalence as a principle of logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Univalence_as_a_principle_of_logic"}}}}}