{"entities":{"Q4915221":{"pageid":6944802,"ns":120,"title":"Item:Q4915221","lastrevid":98463380,"modified":"2026-06-05T17:36:48Z","type":"item","id":"Q4915221","labels":{"en":{"language":"en","value":"Temporal G\u00f6del-Gentzen and Girard translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152451"}},"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":"Q4915221$60E518AC-A0AF-4349-812F-DDDAA7631009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c419237d9a36f3a5d4b23fec53660c8a3d2c5356","datavalue":{"value":{"text":"Temporal G\u00f6del\u2010Gentzen and Girard translations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915221$18ED2809-4100-4233-887E-7041533C6F2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12902dd8684c3d495a4de1aa502800432d6958c9","datavalue":{"value":"1273.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$4E1A2715-D703-43C6-825A-4FBFB8CECCB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$CD2781B4-AA55-4B00-BFD7-5458A40BAE50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$84B232DB-63FC-4E0F-A429-5E115275211C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4915221$8F13F9A8-6B72-49EC-8473-71A58692EFF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$C734F7B0-CEF3-4D8F-A83A-83E23126385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$3DD02D43-9A0C-418E-A8A2-999B9720BB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$227AFB0F-036E-4A7B-8838-FD1E5145ABBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d3bc694533109e5f50545c31de33c6b4e0ec77","datavalue":{"value":"6152451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$D9E5F933-25BF-4C0C-B9DE-DCD478BEE6E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915221$FB7B8DA0-A8F6-462F-A8B1-BC23A4EF107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915221$D2367EA3-F67D-433D-8AD6-D145E6EDA5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915221$34CA86EE-9578-4630-B0DD-CCC84A02170F","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":"Q4915221$414008C4-F4C9-47CE-ACE4-69C30EECD638","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f058caf0b04f053bb0645d9ae49fa13fb115e893","datavalue":{"value":"https://doi.org/10.1002/malq.201100083","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915221$8AF40371-613F-4B05-9237-8BE21850ACFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0cb09572bc9e89b55e2a4f4ef198636b98a3af4","datavalue":{"value":"W2092396651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$82C53FF1-DCEC-4329-A5E7-28D7EC3161D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$EC998622-D60A-490E-AEC0-FF7032F9BB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1ac2622b50f677e07bc5a9600a0986a2da5a1","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$508E0441-7379-4791-8914-68C98D348C0B","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":"Q4915221$5C41B519-EFAC-437C-8FD1-D797F38BD6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d86df45fbc971c98e4ef4a3803e6eeef4f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4221772,"id":"Q4221772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$79145A22-33D0-489E-815D-D6031BB374AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8698aa9bbbf844c97e998b32a12aa94a72a141","datavalue":{"value":{"entity-type":"item","numeric-id":5460163,"id":"Q5460163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$F2F018D8-1536-41FD-B680-2F6B4D8258EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6204cf3abdf99a6967f32428a2bb1f8d858b904a","datavalue":{"value":{"entity-type":"item","numeric-id":3081245,"id":"Q3081245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$164FAE6D-5990-4002-9936-E3CD424C9887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$C1E7AB92-2543-4974-8181-BAB15C622BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$475D5852-AC1A-4A7C-B252-187E6911FA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$00DA4EB8-2B3E-4DEB-B385-3633BC29A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915221$17B3C119-2087-4599-9BD5-E48BE6BEFD4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dca978115fa907b18035fed07695e04997092ed","datavalue":{"value":"10.1002/MALQ.201100083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915221$EA08A009-8725-4DB0-B8E1-BB0B0A29AE6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad1af560046836b9d119f2bedd84d33d852d024","datavalue":{"value":{"amount":"+0.7900916337966919","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":"Q4915221$6B16E5AA-1CEC-4924-98C8-12D9ED03B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d7f8fca11e07fd6b2edd89ac183f99d8cda3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5880425,"id":"Q5880425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcc96e7168f1457b7192568ac4887c4b8e6732c","datavalue":{"value":{"amount":"+0.7857537865638733","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":"Q4915221$29492B05-F7D4-45DD-A663-F27C534F4BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfdba434b9f705aaa04b3cd0d8cd1be663473a56","datavalue":{"value":{"entity-type":"item","numeric-id":5930981,"id":"Q5930981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ad206f5607b2e4047163ec349894eed5c2524e","datavalue":{"value":{"amount":"+0.751317024230957","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":"Q4915221$A7689C09-E999-4EC9-8475-6F5766316AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f297ad79b2a18262dda508aed4ef519315613a","datavalue":{"value":{"entity-type":"item","numeric-id":391122,"id":"Q391122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71a44a424ef456dfe441fb2b218570f0e814c91","datavalue":{"value":{"amount":"+0.7512404322624207","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":"Q4915221$247E76EA-3E56-40B7-9A2E-9BC8F865E347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282e88c6cb20e47b14570cbad07895545348549f","datavalue":{"value":{"entity-type":"item","numeric-id":3496308,"id":"Q3496308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097e44aa20d6657d792e0973d9858eb0d5048efd","datavalue":{"value":{"amount":"+0.7486640810966492","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":"Q4915221$D7BF9BDD-5AC6-407A-9FD0-C0B17C4652E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal G\u00f6del-Gentzen and Girard translations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_G%C3%B6del-Gentzen_and_Girard_translations"}}}}}