{"entities":{"Q534694":{"pageid":536461,"ns":120,"title":"Item:Q534694","lastrevid":62615655,"modified":"2026-04-11T07:17:53Z","type":"item","id":"Q534694","labels":{"en":{"language":"en","value":"Geometry of interaction. V: Logic in the hyperfinite factor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886378"}},"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":"Q534694$0E2AD071-0C37-47E4-A92B-2B70E2785D15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea7573a62d0e66cacc991554dff387b68d46e87e","datavalue":{"value":{"text":"Geometry of interaction. V: Logic in the hyperfinite factor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534694$8DA92E9E-F427-420D-A7E8-F371989F51BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eabc9ebfdc3fbbc422f805e7f254a2f024ba039","datavalue":{"value":"1230.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$74747AF8-D1BE-4B34-B13A-BBFE80670E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$ADCBB6B9-DB27-429B-AB24-9E598ECCE033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$5DFADDD1-4007-4839-BBD5-C7DC58D74535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534694$05C77928-4C5B-41AB-98FA-C481EB4B979A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$8CD2982F-A518-40D7-8CD0-15CE3282F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$9B0E1181-B305-4C8F-B574-9F1043A60890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79d4a9cdad9e2bf9f8a92a6a122ca11d0fe4a50f","datavalue":{"value":"5886378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$F64F5DDB-84D2-416B-9E67-342470971BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q534694$ACFC6D26-CB1F-4AF5-AC4F-9EBAF0C2CAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534694$FF5384B9-4BFB-4D15-810E-C0ABA8EECCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q534694$E46F0A52-EE45-4874-9F29-AD66D24D6382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f0300c2d5ed35c245b8cffc824c1234ed86da9a","datavalue":{"value":"light logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534694$DFCD6E3C-7802-47BA-95AD-E05F7F300C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce80cd28af9bf651caa110678888552a1e471dd3","datavalue":{"value":"operator algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q534694$3F347E67-2E97-436B-AF75-862A92103A83","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":"Q534694$12869E34-6A9E-4526-9575-29F8550D1C39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d472b9e3e55c9805d7db4f5d5ab727420cd7365","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q534694$0C2B59FB-83DA-4173-95B6-A4BBF34E08AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e008d0704e9053dea3a3c75ca5f31e1d09f7773","datavalue":{"value":"W2065359627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$A7D3FF34-68CD-4672-9801-DD94C455D558","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d601f949b7426e728b99fdfb3d87203cd8cc8c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4895892,"id":"Q4895892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$B432317D-5566-4B6D-8737-FA26D091C67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609474566fdf7f9767f57cb7f6dca05cb075b3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2649974,"id":"Q2649974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$0E3305A2-2BFB-459D-970C-1688E571425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$0A52C8F3-7A33-4138-8906-D29A9ACF430F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$182878C7-5066-4E60-86B3-59F5DC2B6C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1bd80ab943fcd1494b0aadc3e5364b81327341","datavalue":{"value":{"entity-type":"item","numeric-id":3203017,"id":"Q3203017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$0D8813E0-DABE-4EC5-8714-5F5E56F20414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3d96665670ba04fa010c756d53babdec44ea88","datavalue":{"value":{"entity-type":"item","numeric-id":4842981,"id":"Q4842981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$79A052D1-B16C-4315-A8A3-17C5A7108C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a898ce36dab51e07b7de388da14011afb7e18c","datavalue":{"value":{"entity-type":"item","numeric-id":5477354,"id":"Q5477354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$CEE61082-8659-493C-A36E-F1E3B5EF5E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$E9FE4848-C009-4C2A-8928-6D849356489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf31cc900ecb2ae1e8d722934422bc417756c27","datavalue":{"value":{"entity-type":"item","numeric-id":4359479,"id":"Q4359479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534694$9E258210-A1D1-4729-8D88-A5E3F006641F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a146ae131b3d156039ddabd04e45d429dcd02955","datavalue":{"value":"10.1016/J.TCS.2010.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534694$3759BF1E-8593-4E70-A3C4-28EA40EACA20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354f8f25b1db884f48e7ce3457966a6d8178d5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842535,"id":"Q4842535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04d2d45c87119b14c9f7e5c4f8fd0b34948d8b1","datavalue":{"value":{"amount":"+0.8008214235305786","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":"Q534694$F9C260FA-0F19-4D9E-AA3A-DC08CE5F9FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23d0d506b3c04e3059aca284a58e3bb29409a2b","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04d2d45c87119b14c9f7e5c4f8fd0b34948d8b1","datavalue":{"value":{"amount":"+0.8008214235305786","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":"Q534694$ACF1BAB7-2912-4B70-B00A-DBCE78A44855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133ecd69b264a4bba32dc6700dc9229d4e3c7b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf9d14fb576e95b85695e3cfe47431a40f55ecf","datavalue":{"value":{"amount":"+0.7978641390800476","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":"Q534694$E04DB393-CAB7-4447-9338-DDC10E6D2366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5de19293ed034cfaabb57cd71c489a36d490c8","datavalue":{"value":{"entity-type":"item","numeric-id":714715,"id":"Q714715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96aba2471cdd3eff52ea3cdf554c2233f8737c3","datavalue":{"value":{"amount":"+0.7801657319068909","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":"Q534694$6EDC4B08-3FD7-4062-AD86-DD467BA4FEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8392fe6f15e468f954ef4987d1455d6cd9e0530","datavalue":{"value":{"amount":"+0.7791588306427002","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":"Q534694$9AC5A565-3626-47AB-889B-EA0AE6D2DB79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Geometry of interaction. V: Logic in the hyperfinite factor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Geometry_of_interaction._V:_Logic_in_the_hyperfinite_factor"}}}}}