{"entities":{"Q4862761":{"pageid":6892341,"ns":120,"title":"Item:Q4862761","lastrevid":47392324,"modified":"2026-01-01T14:57:00Z","type":"item","id":"Q4862761","labels":{"en":{"language":"en","value":"Equivalences between logics and their representing type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 843729"}},"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":"Q4862761$9D863D3B-0619-43E9-9BE5-5D3D94F77E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77297999c0192810744cd7f1531b5ca8e420557c","datavalue":{"value":{"text":"Equivalences between logics and their representing type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4862761$7B96DD7D-DA4D-4C77-ACC1-DC82849F3B5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8536bcfe1c79f23c797fee51bfc57b4eb9754b","datavalue":{"value":"0868.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$604C9A10-416D-47DB-8B35-F3B8121E1ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a6ac5cf0cdcbe9b535e820a80e2c9d47f3bc663","datavalue":{"value":"10.1017/S0960129500000785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$0A77F2FC-531F-4863-B249-19E161F03C57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$2D17D7DD-57E5-4CCA-B04F-96875B62C36B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$C84B53D8-3A44-4ED7-89B3-5320887F2EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7afdf265c9170445571c22ac16ade7e21534dd96","datavalue":{"value":{"time":"+1996-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862761$45258A4F-D5CF-4255-9986-BB20034B43F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$C3DDF740-9ADF-4B4D-8EB9-396ECD6B28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$00332F82-58AF-4AAF-A9FF-659A03E37466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$1FDE53FB-ADB3-4C8C-A77A-AC3F0CA8290F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4122c294a7c494c96de6daf65bc5221e1609cce9","datavalue":{"value":"843729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862761$6CF10EF1-7AC3-40EC-B75A-397F0329C069","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0b1da61a29fc4ec5149a8dbcade59fe93e65e8","datavalue":{"value":"adequate representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$B992F9F5-01F4-414B-92C9-D21320990088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41fd7af4b999051987910f850ff26df1c9e9ee8b","datavalue":{"value":"natural representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$65DC6B87-A4CD-47CF-B36B-3840612E65EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2a53d5480586a73e46f32b624abc509cd480c","datavalue":{"value":"long beta-eta normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$1C424544-B41F-4C50-A2C5-491DEA3A9528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b8a34eafafd07a84530f78efa32661d20b8bbf","datavalue":{"value":"logical framework LF\\(^ +\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$BABFE89C-EE0A-4667-BE00-BCC0F755D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738e0d68366e2a2d1422e1e2deab020f90a27f3e","datavalue":{"value":"multiple universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$B1E5FCBD-77A1-4923-987C-C9025358DAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e641b2f2f094759207e4457d5599c8b1bae1e68","datavalue":{"value":"entailment relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862761$6F6E16FD-42E5-4AAA-8AC8-3FCFA6592686","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$E97FA471-E059-4098-B640-DE3379000227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$449C5EC9-5A6B-4A19-A740-E497DA44ACA5","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":"Q4862761$C6649840-AD3B-4783-B510-66A73A96003C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$DABCFEB4-E4CE-4CB4-8DE4-72A4B8CA50FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$EE1C5293-F496-4AB6-A25F-1533D83394F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$DA8DD391-3126-42DC-ACD0-4A1579A9979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$0CF827CE-B3BC-4535-A970-0C1457F9031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$18387849-A6EB-42BE-AED4-CCA3897F0956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$07A55881-467D-4021-9E37-F186437DBE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a53c9ec1ed01dcb444298314487a4908d29766","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$FB0D97EF-53FF-4410-8965-079EF5446AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$B45015AC-24F6-41C9-96A6-6F70F7957BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$60B9204A-5E58-4805-84B6-97BD9EE6102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862761$BC8959D0-5D87-4E7D-A7FD-51CE91FE0AE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f559e33bdae5d6031398bd74dad7b706db362e","datavalue":{"value":{"entity-type":"item","numeric-id":4282512,"id":"Q4282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f955394ad097df05dc09ac1f947f40b9bdcb70b7","datavalue":{"value":{"amount":"+0.8551095724105835","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":"Q4862761$368BE7A0-7904-49FB-BC7E-8865EECF8280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5eaf3467daf87792271d4a93a843969dd2367f","datavalue":{"value":{"entity-type":"item","numeric-id":3204067,"id":"Q3204067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f91c73fbe13b44c9876bccc255f2b160d129b43","datavalue":{"value":{"amount":"+0.8504664301872253","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":"Q4862761$35261AEA-14D9-4686-BE42-6193389C612A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b9186db654894550d7e57d85e3b92b8a3c2cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5096264,"id":"Q5096264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7845b1a01c832e15173948c1e6f963a148ddb8c","datavalue":{"value":{"amount":"+0.8052898645401001","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":"Q4862761$9AA5BB6F-9C87-4260-818A-10BC0854E63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec72963811c750fe6cf7e84d4dbc9b225ea6fed","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad284d2d512730c564262022b14191a730b7bbc0","datavalue":{"value":{"amount":"+0.7798011898994446","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":"Q4862761$7CB258F1-D119-4DE2-AC5A-92B4F8730F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6850f32c4cd09c5f2143a5206e88925f5c5e9079","datavalue":{"value":{"entity-type":"item","numeric-id":4823135,"id":"Q4823135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad284d2d512730c564262022b14191a730b7bbc0","datavalue":{"value":{"amount":"+0.7798011898994446","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":"Q4862761$DD00828B-D48E-42F9-A2A6-85873A558209","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862761"}}}}}