{"entities":{"Q6940450":{"pageid":21146307,"ns":120,"title":"Item:Q6940450","lastrevid":84102680,"modified":"2026-05-10T03:14:13Z","type":"item","id":"Q6940450","labels":{"en":{"language":"en","value":"Sequent calculus and equational programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082597"}},"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":"Q6940450$B5E109BB-1C14-4410-9727-4965F0EE509D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44859038f81b566505c2cae2b7a25ff098a09f3e","datavalue":{"value":{"text":"Sequent calculus and equational programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940450$8B9F4439-2F41-4C5A-AB9E-7DC0520CCFE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78e64b95b8167f5c7c67a43206fb1c3b15a591f","datavalue":{"value":"1570.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$16BCE5A3-5890-4C22-86B9-6ADAC214432D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e770b13f484d0ff93cc4147fa65a047e74ffd865","datavalue":{"value":"10.4204/EPTCS.185.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$77D6EFA3-EC66-4A4B-AA3F-0EDF1C3742CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$38B92A9D-444B-4B5F-A4C0-5D53BD7FB64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e243d333ee49e8dbe89be72d560b35b8cb29ea2c","datavalue":{"value":{"entity-type":"item","numeric-id":6940449,"id":"Q6940449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$81E18EAB-3B1C-486D-9C5A-CCC9C6491259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940450$AE91357E-0B52-49B8-B0B3-5DD00ECE7C2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$F6F45C46-982B-4EA8-A6ED-E74D4898E49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$4ABC2FA3-7539-463E-91A3-1D7C20F488CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$6EEBD0A7-48E1-457B-9DFB-AF171ED2813A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f26ffd8f95f1aced3e211014600702af1affdbb","datavalue":{"value":"8082597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940450$4A7D0201-A5B0-40EC-927F-08A2441E03BE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$0C209C0C-4B3E-47FC-890C-AC76915589BF","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":"Q6940450$2BD4250C-0499-4E73-A519-BDF645A64772","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ea5885832b9f867e6bed74c7137f05eec86479","datavalue":{"value":{"entity-type":"item","numeric-id":2931780,"id":"Q2931780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$8AD6D3EB-BBC2-42D1-8C43-480B3024C965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d3b37d61604070c0efbf8dc0f2517b07882eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6829930,"id":"Q6829930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$74E08D54-FB71-4A73-9A5F-F53573E82A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$FC486154-6B78-4E57-A027-7E25D2936ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec5f6ae4d47ba26536393eb0a29fefc3dc4f6bd","datavalue":{"value":{"entity-type":"item","numeric-id":2819686,"id":"Q2819686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$38C6570E-9AC4-4709-BA35-F8E297AA77A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$71DADC53-74FA-4887-BD58-F7870613AFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1cf2faf56bbb6a7d5ee0ae18b5ef700b45a452","datavalue":{"value":{"entity-type":"item","numeric-id":4223032,"id":"Q4223032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$9EBD14F1-CE60-4ECB-A68D-A143DC67DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$FB8ECBF7-036B-4C75-8020-C64A6855157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6c82e7c7275159d0b7189c3e4d08e3539e32f0","datavalue":{"value":{"entity-type":"item","numeric-id":3003307,"id":"Q3003307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$5C2C6367-C082-4E25-AB1F-0C12D006EF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$BEB4E488-4C4E-420A-B6C0-E69385142A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$DF8EFEC4-2DDB-4D9A-91AD-94E5E157898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940450$4D1F4911-B5E0-4F2A-8B79-94260B46BE99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculus and equational programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculus_and_equational_programming"}}}}}