{"entities":{"Q5864198":{"pageid":7893749,"ns":120,"title":"Item:Q5864198","lastrevid":93265754,"modified":"2026-06-05T04:06:13Z","type":"item","id":"Q5864198","labels":{"en":{"language":"en","value":"Some Remarks on Proof-Theoretic Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7537539"}},"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":"Q5864198$B0130A2D-5FB4-4FD3-A526-5DD3E947A497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e16793e9e96ee0a874665d72e53b9c1826d457","datavalue":{"value":{"text":"Some Remarks on Proof-Theoretic Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5864198$DBA4DE4D-F3A4-4C8E-8377-9FFAE171868A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cebb24029940a98df7fc596c1c258be81cf07fcc","datavalue":{"value":"10.1007/978-3-319-22686-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$99FFFCE8-BE5C-4ACC-9B06-C908E4891088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5864198$1C00EE16-0340-4D9F-9ED4-CFB993E20809","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":"Q5864198$4E17CBB2-CD9A-4A7A-94BF-197936220785","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":"Q5864198$72D2460F-8035-4DFB-90E8-50BBE82F3208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$1A997EFC-4646-4B31-8450-4E04FACE1149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$209652F2-4696-4BE0-A5FB-9EE62AF87975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$685157C9-57C2-4F9B-99CA-389CB1EC0BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$C9BD7EB0-763B-4A8F-9242-A0EEA1FB16F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbbd05de6372512a6ea357b2e26fe473debc6298","datavalue":{"value":"7537539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$F7C38256-2FCC-4782-B358-0A8F72757B42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b695804eda358a6aa88afb864d83be17947bb21e","datavalue":{"value":"general elimination rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864198$85BDF3E9-01DC-4A74-92BD-C90B70DF8EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c886b14cce0b4a3a9cc0aaf92655d5621a8003d2","datavalue":{"value":"harmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864198$09BD59BD-CE9F-4A1B-87D2-D6E2A0745AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5864198$382E4D3F-C0A6-4F1A-92C3-3D52E36B2CC3","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":"Q5864198$08735138-E54D-40CD-B462-54522991D09A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d17926218ad733d26a68550e0fade344bfdb490","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22686-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5864198$7AD0D22E-80DB-4D98-A0AE-C4D190A1BD04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4461a940ab230bdaa2444684838cc1d347e0bae6","datavalue":{"value":"W2274932923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5864198$D1FF3DF6-A233-49BC-823B-C7E8075914D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcfa993d73f4f7c968efb936bf69c5fa34a8762","datavalue":{"value":{"entity-type":"item","numeric-id":2940866,"id":"Q2940866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5c5acfc6409a2edc02e84d1fd58134c7aa46d5","datavalue":{"value":{"amount":"+0.798579216003418","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":"Q5864198$FD51C33E-D841-4FEA-A674-D7E8E0620932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a67b4c3e440300542cb7ced957af3803d863fe","datavalue":{"value":{"entity-type":"item","numeric-id":5213618,"id":"Q5213618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75aa6fa944156862331289f939f46058b8b433b3","datavalue":{"value":{"amount":"+0.773023784160614","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":"Q5864198$3E5F4F32-4019-4F8B-9A05-E4A0C4024813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d5b0d531bb7c1da45a24223139c3eb34b4bf39","datavalue":{"value":{"entity-type":"item","numeric-id":5213616,"id":"Q5213616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1443ee4c46434af4a8c30d6cc3650718aca8e3fd","datavalue":{"value":{"amount":"+0.7673727869987488","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":"Q5864198$9E8C36B3-B328-4389-B0DD-0A87A8501FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17496077a1d6c0897399127e787e0e1994991957","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cef15a17ff7a81504af296527280176ce2d4949","datavalue":{"value":{"amount":"+0.7614604234695435","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":"Q5864198$9DD6BED5-0EA3-4C30-B982-39B819A5EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f2b01d8af5a59f86384bf4b0015cac4ef49b64","datavalue":{"value":{"entity-type":"item","numeric-id":526738,"id":"Q526738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe3abe7506f8f05629049ff323333ddf26a7004","datavalue":{"value":{"amount":"+0.7505438327789307","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":"Q5864198$EC333CE4-97FA-48FA-9C89-7043419C1557","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":"Q5864198$F25A58D8-9F0F-47E2-A2EA-5B883297FDF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Remarks on Proof-Theoretic Semantics","badges":[]}}}}}