{"entities":{"Q4355235":{"pageid":6384834,"ns":120,"title":"Item:Q4355235","lastrevid":46480752,"modified":"2025-12-24T21:25:55Z","type":"item","id":"Q4355235","labels":{"en":{"language":"en","value":"Un plongement de la logique classique du 2nd ordre dans AF2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062787"}},"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":"Q4355235$12F1D80B-D8D5-4F20-BF8F-2E2FC4AA2E1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"532fd5d6226b79722567c4b6dc6bf7ea64fc92e4","datavalue":{"value":{"text":"Un plongement de la logique classique du 2nd ordre dans AF2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4355235$13C20BD8-1F36-4380-B350-019D5A5B210B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9269e6f0ee8d39f0c592e41ec6e1e1e676f7cade","datavalue":{"value":"0878.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$507F69B3-C7DD-4975-956E-9E7A88BB8266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76620ab15478352b9909193dbf74343e08d8512a","datavalue":{"value":"10.1016/S0764-4442(97)83922-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$D08700E2-B8E8-49DD-BEE1-42E872BF840F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"132a17179ec8380d06470ef93d3917ae443c129c","datavalue":{"value":{"entity-type":"item","numeric-id":236814,"id":"Q236814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4355235$78269D1B-663F-4F16-9ABF-A1B1DC87E0AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"58ced672599bb2e7dff5992f597a84bdb942fec7","datavalue":{"value":{"entity-type":"item","numeric-id":2704621,"id":"Q2704621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4355235$E8C26FB1-E028-4B5C-83F0-DA35284349C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6734d96f5cb9f492e2514bc1346fce61762d79e","datavalue":{"value":{"time":"+1997-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4355235$B94B653D-14E4-43F8-A2B2-C018363C646F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$BDB43D6D-98C9-4FF4-BFC9-29ED34A89E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$2F8E078A-B599-4583-AD75-DF165A69159F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$CB02CAD4-3499-4F67-8715-F392B535B4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$1DF623E3-992E-46F8-85E3-8D383FC0E049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a1ca86e7f8cd7e267e4a1726d327970c643f17d","datavalue":{"value":"1062787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$0A3EC480-FCA7-4B12-AA30-436DB190B862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$90B230CE-80AE-44CA-AB8D-DE61947D8C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f85919ece7aa48b9b2aee6fecec6d5442587933","datavalue":{"value":"second-order functional arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$4BAADD76-2727-4634-AC41-B7D0064B4546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$26A7B9FB-24F7-49EB-A9FB-63AC1FB88435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f6325a9d195e4cbe2e73ab3d8f05ebe0514711","datavalue":{"value":"proof translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$9C5A9DF4-8D21-4E14-9FC0-07CBAFCD5E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79121efc842c599695d4ef3da5d43e49ebb95899","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$83EB2E6E-1450-4784-BEC6-7B0479184DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$C40BAAB1-F34F-45E2-B3FF-145B734578C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c457af47a6657f697acd41492705ca6112651927","datavalue":{"value":"integer representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4355235$995377C6-B050-48C5-A3A5-BFB97D9AF8C0","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":"Q4355235$505A1196-F8E2-4EE7-9CE0-1C45DA75AEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bf8788e0a761577ddc4457b5b4b793f3820379c","datavalue":{"value":"https://doi.org/10.1016/s0764-4442(97)83922-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4355235$6D293BB1-379B-4AF9-A612-9979320709FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cc54a7fd19546cf66bf99cdb25759a41c8c1fb4","datavalue":{"value":"W1995577431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4355235$B9BB3619-6102-4EBC-ADFA-5A86E24557A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887b1ba280687b3c3d827cadbd35ae5187a866a4","datavalue":{"value":{"entity-type":"item","numeric-id":5477358,"id":"Q5477358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc90de157d057d87cbf4240235f6db3ee602d302","datavalue":{"value":{"amount":"+0.8157490491867065","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":"Q4355235$FF1F4916-B08F-4AF8-8349-D8DE41B5209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277ef2c8f63e61428d7407a21221cf19668fcbca","datavalue":{"value":{"amount":"+0.792643129825592","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":"Q4355235$78AE24B1-421F-4645-B44B-47ED746AE2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c3b3e41ea221ab6cf782447f57ac8882402dad","datavalue":{"value":{"entity-type":"item","numeric-id":2778830,"id":"Q2778830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0160d6a4e11f670be01fb62e1b607eae7afdaed","datavalue":{"value":{"amount":"+0.783625066280365","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":"Q4355235$8C24CBAF-5A0D-4120-B352-E56D1298BBEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4355235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4355235"}}}}}