{"entities":{"Q1805403":{"pageid":1816145,"ns":120,"title":"Item:Q1805403","lastrevid":46355058,"modified":"2025-12-24T15:19:45Z","type":"item","id":"Q1805403","labels":{"en":{"language":"en","value":"Proof nets of PN as graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754287"}},"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":"Q1805403$45AA4A5D-221F-4809-8648-C8669810262C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b350262ce8398555a05f2a70715c9a88277f67b","datavalue":{"value":{"text":"Proof nets of PN as graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805403$1289D168-7499-4089-9B5F-2B0A61D3FBAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b64c78a671e7342c8c999e2b34170eb63bce4f87","datavalue":{"value":"0823.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$47FF2264-1105-4575-AB59-F26816FAEB8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5988a2f849f95b841a3cf11c5fdb1670059510f3","datavalue":{"value":"10.1007/BF01269873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$3424E580-028A-4FF2-BEAF-B40ED55A6DF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c599bc946e20a3553859671a7ad70019fad2b01","datavalue":{"value":{"entity-type":"item","numeric-id":1325052,"id":"Q1325052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$DA9AF69F-39EC-4A27-B7F7-EAC42D249C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef7fa000475a92a4bb9514150879ad45a6c6c3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1325053,"id":"Q1325053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$42742276-A3E2-4E05-9A6E-5DF1853AB191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$50096757-3CA5-4A07-BCE5-CEF76FA8E1A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988f00ba557ba8646bc38d7c65efb145608ede4f","datavalue":{"value":{"time":"+1995-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805403$64096576-937E-4E63-B36B-0676340B50A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2b158195977c9a35100cd4ddf54459638a40240","datavalue":{"value":"A new definition of a proof net is given for a new system of linear logic introduced earlier. The definition is rather complicated, and its usefulness for more traditional linear logic is not obvious.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805403$4CE69342-CC17-4D92-8327-15F4EB6B3075","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$1DCDF191-229D-43C1-97D1-805375684EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$B557C8D9-5122-486F-88A2-8FE50DCF7C4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"745fe869d6828ff30a7007af010271f76d79cead","datavalue":{"value":"754287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$8D69F442-8C55-4EAE-8CBE-0331E522B35F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805403$857FD138-D8E3-4B1C-9BD0-F4206CD84C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805403$AAC6EE47-2EF8-4C0D-AB1E-E17CB50ABBAA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$CB53B1F6-EFCF-49F0-A378-A7CB1442B0AC","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":"Q1805403$62F7DADE-F7CA-46D1-A2BC-D602C107C5AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9e3383d92192c192ab4d67a362d61783905b86","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$A9DDD3F0-B01B-4760-A2F9-25FCEB93136B","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":"Q1805403$569E7492-C184-452A-9C89-9F31C5A84CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805403$9890413E-E54E-4248-B7D5-D9F92570E62E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d5ab7bcbc0e5a051a5d5a9d95e90a67f1eccfed","datavalue":{"value":"https://doi.org/10.1007/bf01269873","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805403$BFD4FD20-BE45-4BCB-9646-4A50DFE3380D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0365e9463c44189a4de551f8108ec8066c66104b","datavalue":{"value":"W2025674602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805403$BEB7F5F2-E683-4A2A-885D-D2A01BE4CD80","rank":"normal"}],"P1643":[{"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":"c31cc58407ea972cddf7fa7c2504b4a0dfca4ff8","datavalue":{"value":{"amount":"+0.8082613945007324","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":"Q1805403$A819890A-8AAA-4486-AD4A-B103C272D34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f162ac8f21efa3c5951a6687fba29419416d4b","datavalue":{"value":{"amount":"+0.7831705808639526","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":"Q1805403$32224CEA-821B-46BD-A0D6-BE697886D6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8bab4eb01d5ff17b1baf1c8745b54016860e42","datavalue":{"value":{"entity-type":"item","numeric-id":1330310,"id":"Q1330310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6363eca357d90ea6c429034057f1a979c388b6e6","datavalue":{"value":{"amount":"+0.7808430194854736","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":"Q1805403$DA2C1677-7E9B-4B78-91E8-6EB5964AB227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a0bb17488de7167be9a8d4b9863448336bda04","datavalue":{"value":{"entity-type":"item","numeric-id":4444939,"id":"Q4444939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5403797a9032acd4835d2fa82815625c782e1225","datavalue":{"value":{"amount":"+0.7760193943977356","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":"Q1805403$4B9D1226-3A8C-4B25-BD9C-EC92A97F16C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1805403"}}}}}