{"entities":{"Q5190190":{"pageid":7219762,"ns":120,"title":"Item:Q5190190","lastrevid":50928938,"modified":"2026-01-15T19:25:40Z","type":"item","id":"Q5190190","labels":{"en":{"language":"en","value":"A phase semantics for polarized linear logic and second order conservativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5681293"}},"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":"Q5190190$F674723C-2A2E-42A1-BD34-17BD0E224832","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b820a8bcde93ebd2028a42fff11e9811fc939096","datavalue":{"value":{"text":"A phase semantics for polarized linear logic and second order conservativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5190190$98309F32-6FD2-4761-8792-9275E3257532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d3860bd2330b6522ec9fe42a931ee154c122ce","datavalue":{"value":"1186.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$6E215144-79B1-4A19-ACC3-86064A694A41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fd10e0677a47c7fc103d0a61f6c004fc8766f5","datavalue":{"value":{"entity-type":"item","numeric-id":705529,"id":"Q705529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$B674130B-8521-4134-B89D-70C2ADCF4B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$DA1826A9-F3C4-4DD7-8BBF-F625A8250655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7fe2c523e98eb62c0896902d6e731144883b50b","datavalue":{"value":{"time":"+2010-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190190$7FF6A602-F4A2-4220-9EF0-EE8AB6083A61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00989d0ea706562839affa9b6067121623ae5dd9","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.708.6529","type":"string"},"datatype":"url"},"type":"statement","id":"Q5190190$015FF7C7-C7FF-4329-BFCE-F3A02E4A7CF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$891DB6C5-47A4-4A07-B1BE-4AE220558252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$002A282D-CD28-4160-9E1E-3346D6270706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25a1f226721d2af693064c518ad3eccbd15d553","datavalue":{"value":"5681293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$FAE1426B-E692-4EED-B4BC-A704C95A6417","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34eed465ce545922ee83fd04a9aed021518c434","datavalue":{"value":"polarized linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190190$0C8AB6AF-34D4-4925-AE7D-83F56F125F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190190$F69863E8-EC1F-4030-A546-651A8EC97227","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":"Q5190190$B5BC4F0B-406D-4E40-BA14-6F71376A3E19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"167bc817141139a9b05ec75b3c8c8d590133cdbf","datavalue":{"value":"W2023272999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$FE473650-795B-4A9A-9F28-9AA1DECBDA14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"958793af98490bc63a16562ae90ff9cf1b32d486","datavalue":{"value":{"entity-type":"item","numeric-id":927095,"id":"Q927095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$76F2E6FB-0B79-457C-892A-2D0B223CCB1E","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":"Q5190190$107EAD79-F40D-4D4D-AC86-4574167031F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cf1f7cf0461dc347c4976ffc8e3da8d98a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$1D55EF54-4678-4761-9AEB-4C6005F1ED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$AA8141BD-30B8-4F82-9F3B-F5BE1707F65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$7CF486E3-9ED8-498C-AF8B-1112507FC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$D2A231EF-6374-46DA-B0F8-0520AC4068D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$74176149-7665-4EFD-AA59-520C44BFFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$E4119416-8F40-4DC2-AF2D-61116BBE5F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f680e25f7931f8bbf262cfd342d830b4799942","datavalue":{"value":{"entity-type":"item","numeric-id":2570132,"id":"Q2570132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$62B4F559-C6AB-4B3C-B64D-72C3A9F64FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$88F932BE-9C25-40A6-B13D-C7E1C08DA9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c510381d4d0a6f5c125839ffa25b2cccffc19fd","datavalue":{"value":{"entity-type":"item","numeric-id":866570,"id":"Q866570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$248DB04A-F603-4D60-9064-642D8B8C1691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$6FFDAC13-1081-495F-8DE8-B879CFC3B3DE","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":"Q5190190$A07A17B7-7B03-4A9A-BC6C-BC25E009AC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$8304748F-30C1-4C0A-B556-DD0A3B713B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5de6e7b9eee7fb1283e18a8de8820e5e9b60e729","datavalue":{"value":"10.2178/JSL/1264433910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190190$054565A7-F8FA-4B25-938A-818458AF93A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190190$C1B6BEDA-4CE2-48AB-962E-152ADA05AE23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf480500bb4778d1e843b13be18530fd94e2b3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2000674,"id":"Q2000674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75527446993273814ebe8dff62688dda58e9a41","datavalue":{"value":{"amount":"+0.7528494596481323","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":"Q5190190$63090EE7-EDAB-4A3E-B3FD-F6989E6EB38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235d23e6d6d2cf5ce97f5110424a8673a3b15b9","datavalue":{"value":{"entity-type":"item","numeric-id":4222841,"id":"Q4222841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86b603eee03cf8cca07e128968727b2f4e16f1e","datavalue":{"value":{"amount":"+0.7496343851089478","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":"Q5190190$34A14B04-B5F8-4418-A0B2-248E6B420936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418f04edcf11ec662a481924a0aaf5060c05f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a187de3ab298cb56605251daaac51ef5298382a8","datavalue":{"value":{"amount":"+0.7411670684814453","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":"Q5190190$20C1B0D0-67DF-4B89-9440-47BCFD684248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bcce066c668ce19c3de5e6d85283e5172ee717","datavalue":{"value":{"entity-type":"item","numeric-id":1598468,"id":"Q1598468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f20bf06c53f3b2687d343056e45ae815719ed5","datavalue":{"value":{"amount":"+0.7411666512489319","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":"Q5190190$73609865-FEE9-4896-8D66-A28336AEB6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740cf01aab63b7c10edf99ef6abc131e8acb9bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4222893,"id":"Q4222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb98891be0df708dd7c81111d40e337339b34b73","datavalue":{"value":{"amount":"+0.7364027500152588","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":"Q5190190$27B2ABD0-F8D1-4120-A4C4-F0740BBCBF29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190190"}}}}}