{"entities":{"Q5055862":{"pageid":7085439,"ns":120,"title":"Item:Q5055862","lastrevid":47786059,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055862","labels":{"en":{"language":"en","value":"Coherence for sharing proof nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631294"}},"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":"Q5055862$19243BFA-0D90-46CD-974C-93502EDFBB68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6d4a0e20026501420f15e7eb4de312bb500d5db","datavalue":{"value":{"text":"Coherence for sharing proof nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055862$D26DB841-8E1F-48D4-BDE4-9EA7BAEC55F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aacd4f19f167d7eebd58d38a2ffaf44cff520678","datavalue":{"value":"1503.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$15405C5E-F9F0-4621-AAAE-60983249861F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c451dc2f8c373b75fb83ac490708b5e18e95fc6a","datavalue":{"value":"10.1007/3-540-61464-8_54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$C18D84FF-F746-483C-B59B-197848FECA91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$CD7A8CDD-6616-4B50-8C9B-D39D41BD2168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$F5C5F9EE-A6A8-4728-A84A-2092379C777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$9DA0FEA4-3F8C-4BC0-A631-7219C3A09B44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$D7D90CC8-2467-4D0D-BCBE-720D6B14CFBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055862$53F778C8-BDD5-4D05-9AEC-76942BD8EF28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$E8673CDC-85B3-44B1-9A0A-5AD81B9A2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$DB105DFA-9F58-455C-96E9-23EB95F2B337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$07732B58-C24D-40E1-9B72-262D09940942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$2F5F1E8D-7746-4C1C-B175-5414DD86B548","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c3f89558669a1f8132f7816229f1347cdbe4b7","datavalue":{"value":"7631294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$A3103BDB-9D21-45E5-A148-452BCD84405E","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":"Q5055862$D0F63116-EBC9-41C8-9B28-6A037408B393","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b63c948a8796797ec49573b370b7d7acccaf8887","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_54","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055862$51834B4B-594B-4D9A-B283-193F118F3ACC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99243dbdd3a53ad146eaf94bdc0996af6c42f387","datavalue":{"value":"W2152768051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055862$1309E613-34CE-45E1-AAEE-264574125D72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6efb1b95d2b7ae9940263184dc766f4ccada64","datavalue":{"value":{"entity-type":"item","numeric-id":5044756,"id":"Q5044756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$002B4399-74C9-4AB2-90B0-3009A9F8F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a43b56ab219637b1e31e6b9f821a826a27e187c","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$A2D09D5E-2EC6-48A9-9738-6A92EE424E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaa0ab07d8b7df9be75922ecf651302e02e51e2","datavalue":{"value":{"entity-type":"item","numeric-id":5055822,"id":"Q5055822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$5B303E58-FC5F-4DEF-B797-A353B1BFA5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2420953e9516d3b1153c7716f5bdd76812925af6","datavalue":{"value":{"entity-type":"item","numeric-id":1350498,"id":"Q1350498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$3D8C9634-50A1-4CE7-8B33-EB07C11A7846","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":"Q5055862$2782EA24-B734-4F46-81EA-E5BA826B912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2964e7395247bd438db1a26e4c1e828236f8399","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$C2B39ECB-40C0-4656-A0DC-78C8F0EC31CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$189C927E-5AE3-487A-9E97-17740ACCED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$7BE7E1AA-9A40-42EA-9F98-9BD62B1FCC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d45b900e02fff384611ba003c187022d914323","datavalue":{"value":{"entity-type":"item","numeric-id":4842974,"id":"Q4842974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055862$86118F26-E77B-4EC4-BDF7-B6C0ABB7115A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41219550152043891513cdefaa2f008a9b97f21","datavalue":{"value":{"entity-type":"item","numeric-id":1398472,"id":"Q1398472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df6d7cd8f6525840efafc172d39f86df8d12876","datavalue":{"value":{"amount":"+0.9867387413978576","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":"Q5055862$3D556FFF-EAE6-4F84-BFC0-EAC48FE41971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bc92fe9ec86073d7420e0578740e9dd61f5de2","datavalue":{"value":{"entity-type":"item","numeric-id":1623116,"id":"Q1623116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aba982556b2dc2e039daa62b49de0b30b3f307a","datavalue":{"value":{"amount":"+0.8079016804695129","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":"Q5055862$75903D23-918F-4460-9389-079CD7E866B3","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":"c6381fe44b1f5275326ac8ad162b646508602af3","datavalue":{"value":{"amount":"+0.80172199010849","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":"Q5055862$64FA47AF-5E86-4BF0-8930-163E2498C2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173f9069c177cdf67d44103e13ec7aeef4596eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1589650,"id":"Q1589650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2796f74e9a58c67b2d633793b8469b5e498245ba","datavalue":{"value":{"amount":"+0.7970651388168335","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":"Q5055862$DCBA14D9-6997-47EE-BCC4-7F31FCC1F1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e81071e64ccc7c1d94893876ab0d13eb357773a","datavalue":{"value":{"entity-type":"item","numeric-id":4650577,"id":"Q4650577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f02898ffbf29782a3effcd6f3dc7beb9372411","datavalue":{"value":{"amount":"+0.7927982807159424","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":"Q5055862$F2E503A1-E2D7-4046-84F8-1B186C392F73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055862"}}}}}