{"entities":{"Q6544117":{"pageid":14155261,"ns":120,"title":"Item:Q6544117","lastrevid":55668550,"modified":"2026-02-17T20:43:01Z","type":"item","id":"Q6544117","labels":{"en":{"language":"en","value":"A graphical proof theory of logical time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853728"}},"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":"Q6544117$BDE98394-6891-49CB-874E-051DFB63782D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e20a1b1a51db6bb2b1f87c0310e64c4811df8f86","datavalue":{"value":{"text":"A graphical proof theory of logical time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544117$CE833B8D-2E5B-4914-9D7B-16C62CF5D9B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e24f7875219e933a1fd72dc0115c1627661f7f4","datavalue":{"value":"1541.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$5CEED87C-5C29-4DF8-8E21-EAE727B266DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544117$8B724529-3227-4083-8015-DB77F12CB4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4eaa863d309e75bef02a122fe31ed8bba1d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":739625,"id":"Q739625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544117$C99918A6-91F2-4AB2-AD31-C7C077A1EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3e70fbcd4deaefc27ec372729ecd741b9ab8da","datavalue":{"value":{"entity-type":"item","numeric-id":395656,"id":"Q395656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544117$63A29D5A-50E2-4193-A060-E58D5D15C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544117$30E1B89C-3333-4FCB-9733-06C415A3A8B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544117$2A280723-1616-4C20-9D21-17F6CF042894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$3EFF0E93-D9F1-4DF6-8C67-1109BDB60027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$5319F4E4-5988-48E3-9D18-278746A040B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$20F2F292-9205-4A8D-9BEF-E0D223D92C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a925ad4d927adc017904dd438357c7c85fd02593","datavalue":{"value":"7853728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$B3E70FDF-4F01-4908-95BB-887AA6DAB1B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544117$4514526C-F03E-4CAC-98F6-6BF710CEBE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544117$E7D500D4-335F-4B47-B4A8-495ECDB7FFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544117$CB04F218-14F2-404D-980F-AFC6D355F1A0","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":"Q6544117$B6A33EF9-F1FF-4871-AC92-B66A4C87950E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de938be6f8e9a91c490f5a3e71ea3752bf018cbb","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544117$9B62C3F5-5053-479C-8635-DBD4E27EC998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a4accc5371f2563266a2c494d1928dcbec0c91","datavalue":{"value":{"entity-type":"item","numeric-id":5942126,"id":"Q5942126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f64f0168fad5f9aab946cf43f9e4b755c423061","datavalue":{"value":{"amount":"+0.743554413318634","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":"Q6544117$D7D1F63B-C1B6-42A1-9839-C137A3EC0223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428ab980dbe46bc1607b3b6894d939c4a458d849","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c847f287cd3e3389f7c2c9e7200de275bd70edf6","datavalue":{"value":{"amount":"+0.7386802434921265","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":"Q6544117$0E53DF83-E8B1-40B8-89D1-4541873C4371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3453d1b8e17d669a142e87f9a3136a8bbabdb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":1193762,"id":"Q1193762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26936fa7bf28791c961bbefecb8df07fd82241aa","datavalue":{"value":{"amount":"+0.7321933507919312","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":"Q6544117$653799A9-3906-46AF-9DDF-EF82F4141DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc9c3f8f2ad5d9fde3bea95c643e606195c8c67","datavalue":{"value":{"entity-type":"item","numeric-id":6137849,"id":"Q6137849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45dfddb12832faa6bd32ec2aaa5fbef0b58a015e","datavalue":{"value":{"amount":"+0.7134965658187866","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":"Q6544117$C4706778-86EA-4083-8365-7057E5DF9A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326e1c1a0b923242399eef9b7bcc49e5d74fb107","datavalue":{"value":{"entity-type":"item","numeric-id":3457977,"id":"Q3457977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a863a648564e8fb137b21bee7632309ae894da","datavalue":{"value":{"amount":"+0.712766706943512","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":"Q6544117$B5C921BE-EC6F-4D64-AD0B-E85E6E7EC7A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544117"}}}}}