{"entities":{"Q4650583":{"pageid":6680164,"ns":120,"title":"Item:Q4650583","lastrevid":48414211,"modified":"2026-01-04T16:02:11Z","type":"item","id":"Q4650583","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2134916"}},"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":"Q4650583$8D3D01DD-0632-48AC-A73D-87E6252D2A52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c318a98316392c2980638042d1891baaf08f4e6","datavalue":{"value":"1069.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650583$50845E4D-73CF-4B02-986C-617F2131B309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650583$587EDBEB-036F-434F-A4EC-D50F5A53AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd92fba6e58ba3ad12b0f7634976998ce8fce29","datavalue":{"value":{"entity-type":"item","numeric-id":276259,"id":"Q276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4650583$B3BF7A03-5661-4D97-8E8F-ADD3A9FD7C29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7bdaafc754b21c441823c02d0a8e143cfd1e134","datavalue":{"value":{"time":"+2005-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4650583$01F98280-AC83-4009-9B3D-1FB8E045DA35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650583$317CA5A6-2B98-4DCC-A001-3AA6F9F5330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650583$65A2368D-DFF9-4EF2-BC51-7F319D600F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650583$A27BF5A6-98C0-4EB7-9FA8-B1180434E83D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a54db1d0b4536c7403ca72890e0b2a3d9954487a","datavalue":{"value":"2134916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4650583$0F667AA4-CAEE-4E38-8D7E-DB9DC4538920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85405b1f0038a9cf5bac24746aeb1b29c6a51f6e","datavalue":{"value":"sliced proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650583$A89565E8-DCF7-41D7-B8DF-9B8F2C0B3B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a62fe2ef757b1beeb4990673b4eed2d84abb8eda","datavalue":{"value":"polarized fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650583$7A8C565D-37D3-4F80-9242-01F347446D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38cae683841be176f7930e9d9f31e6dc31d87fa","datavalue":{"value":"injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650583$13E16567-055C-4EA9-953A-859A0957C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a64069a505c59e95e5effe368d2a5f6bff620f2","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus with pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4650583$5662E130-F44E-4896-9485-526574949D72","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":"Q4650583$5409F793-1C3C-4581-9EEC-4509497D895F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4459a670fc9de0c839f1a1636303e8bebb2a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4263872,"id":"Q4263872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88069024caca086c4216cf0182243b2011aa0f2d","datavalue":{"value":{"amount":"+0.7642770409584045","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":"Q4650583$86D833AE-0B6D-4279-BD47-9E4CB8CF11CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24708062f98132005e5392e6090dc4102b44be64","datavalue":{"value":{"amount":"+0.7608882784843445","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":"Q4650583$311817C5-AC86-4169-AE2B-55818A3C4F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bf6c3dc9d7dfe10dfd2b53cad9397de8b331fa","datavalue":{"value":{"entity-type":"item","numeric-id":4411821,"id":"Q4411821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045c329a09b230ec27e6a98ecd7a04f32b837f4a","datavalue":{"value":{"amount":"+0.7559378743171692","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":"Q4650583$393800F9-A36A-4595-9453-0DC2685BA6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4fe20a24a4958b2ca0ab9b44f63c2568d64538","datavalue":{"value":{"entity-type":"item","numeric-id":2570132,"id":"Q2570132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565a83db2d4086e7978eaf9bedb29200060a0745","datavalue":{"value":{"amount":"+0.7535181045532227","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":"Q4650583$593C1C5D-3C9B-4D38-81D9-0F2E9F174EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1f36c6f9221b1fae1d83ded70d5364077547a5","datavalue":{"value":{"entity-type":"item","numeric-id":1861326,"id":"Q1861326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b45c4088d7ac7b47cdb2ae4d8554a890b638cb","datavalue":{"value":{"amount":"+0.7428044676780701","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":"Q4650583$AA4A4874-96F3-4CD3-80ED-A4EFE66A0082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4650583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4650583"}}}}}