{"entities":{"Q5864202":{"pageid":7893753,"ns":120,"title":"Item:Q5864202","lastrevid":56853066,"modified":"2026-03-23T20:05:09Z","type":"item","id":"Q5864202","labels":{"en":{"language":"en","value":"Towards a Proof-Theoretic Semantics of Equalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537543"}},"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":"Q5864202$F87410F9-75A5-4807-9F74-18D9925980D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a6e9b63fd0aa0feaac79be1d850437c19496a9f","datavalue":{"value":{"text":"Towards a Proof-Theoretic Semantics of Equalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864202$D0F55F1C-D0F9-42D6-93BA-E2EE3E87B186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68d729366727a6613f630b2944a7ea6f084841d1","datavalue":{"value":"10.1007/978-3-319-22686-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$03C03EE5-BAC6-4297-A0B4-468A7DFBD318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864202$124E991A-8E1E-4384-B270-8FC034F135A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08fb054990c1718394bd86a4e86a0af50376f17","datavalue":{"value":{"entity-type":"item","numeric-id":5864193,"id":"Q5864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864202$48FA0E2E-266D-4897-A079-C445B9268B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5864202$598E155A-E194-4A93-BB7C-E811A457F31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$F2120EEC-9CD5-4022-A81B-99B6B69E4121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$E2F9EB04-4A4F-4F65-AAFA-CF69B691BEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$6E44D565-7CB7-47F9-98BC-5F495839F2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$0B995D6F-7912-414E-B886-CF0A1B211A54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"425ef53b0e9a76a0550c3d3594b909115806f26c","datavalue":{"value":"7537543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$42B7D7C2-C490-4FB0-A19C-981398143DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864202$097B5680-2696-4E66-9760-BD2FB71B0722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5a3bedbce469db50dc8b2349aff12a3559a4b1","datavalue":{"value":"mode of presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864202$CE504BE3-AEEA-4543-B22C-DD5B963E9278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931d401d1e599aec14312bfb011ac85ab6e7d621","datavalue":{"value":"sinn und bedeutung","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864202$486BCEAF-627E-4EF9-99F3-70C83CB5B6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864202$936ABAEA-5198-4FF2-8855-90A039FC68F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864202$0E5EA41D-AA09-46DC-BB67-3E68F7CBA326","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":"Q5864202$CC934741-A3BB-4EBA-888A-1F9658E14736","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbc9e3c830d28148e287103bfd75c480806b1fe5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864202$24E7B0FF-870B-4CF3-9D07-59C7E795EAD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04acf3996dbe3fc84097273bff5b3c1d32f0ccd6","datavalue":{"value":"W2288147085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864202$B1E93B83-6915-472A-AC7B-E022A2DB3766","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dac28a34f4de2bb2d38d9d03cfde0dc25999e4","datavalue":{"value":{"entity-type":"item","numeric-id":2037304,"id":"Q2037304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76506728615de7cc598c552e2ca9d272cf04087a","datavalue":{"value":{"amount":"+0.7152218222618103","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":"Q5864202$F57CA72F-856C-4F72-BE92-F0E5B88E507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151ee9948b29371098a15559d2f267ffb4cac3ff","datavalue":{"value":{"entity-type":"item","numeric-id":4981271,"id":"Q4981271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857dea45670a97f2dc1b8754ef53137a6ca1a45c","datavalue":{"value":{"amount":"+0.7132871747016907","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":"Q5864202$C324E7D7-D5FC-4E6E-9D5A-2D30F6A22F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56405fb6d1fc6ffed9bfd3df837972fed77ab7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2134939,"id":"Q2134939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd19a73b753b5eab4a773a84387986894745896","datavalue":{"value":{"amount":"+0.6987881660461426","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":"Q5864202$F59FFC74-4945-4CED-AF3D-B833C1C828BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad82f325e4c4b2b04e5a1d652bfb1b9501ad48","datavalue":{"value":{"entity-type":"item","numeric-id":1970589,"id":"Q1970589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c01a2ad015feb0e802fbaec2becaa9cf5c9b27c","datavalue":{"value":{"amount":"+0.6960176229476929","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":"Q5864202$90935443-62B2-44F3-BDAA-0BC9FC6DE76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e06a6dae330e5e6c5d4d815b325c7fb5ae9c06","datavalue":{"value":{"amount":"+0.6956085562705994","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":"Q5864202$DD02349C-D9C0-45BA-9EF8-7A15570662DD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864202$07CE09C4-CD73-4270-B163-4F5EE4544F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5864202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5864202"}}}}}