{"entities":{"Q6837776":{"pageid":17434467,"ns":120,"title":"Item:Q6837776","lastrevid":84289637,"modified":"2026-05-14T17:15:13Z","type":"item","id":"Q6837776","labels":{"en":{"language":"en","value":"Proof-theoretic semantics as a resource for expressing semantic variability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8177328"}},"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":"Q6837776$6EA3D49F-8ADD-4059-9C14-BF380680C68D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6a0959d0617b5781fc33555156186bf5fc99d21","datavalue":{"value":{"text":"Proof-theoretic semantics as a resource for expressing semantic variability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6837776$CEF4DEB1-029E-4AAE-9AD9-332518662BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb83989fcd9f56a7a4b7bc5d8579c64b296d7186","datavalue":{"value":"10.1007/S11229-022-03780-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6837776$E40054E7-457C-4133-B83F-745089C71409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$6B5806E6-4918-4815-A157-9DDF55D06B76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$C03EC869-495E-49A6-BAD4-0E703276BF42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d267eea8299129d291a776265fbc3262ab5526","datavalue":{"value":{"time":"+2026-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6837776$13083E0D-991F-4D3E-9503-8E6ECD178B59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6837776$2395576F-EA86-4147-A6AA-CA53E7C07457","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37c52a35d77d8261ccb17d6bfe67ca816ba2c90c","datavalue":{"value":"8177328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6837776$99600858-5124-4846-8C12-C40A1644FA36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6837776$11BA3DC2-79C0-400A-885D-A99C88EC33BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3348e50acc355e7047338ea43f3cf1586fd07567","datavalue":{"value":"semantic variation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6837776$290FCE7C-6EA1-4206-87CD-C4BDB95D0772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7f2028ee82bb64b5a47f28673d0cb4bacfbf8a6","datavalue":{"value":"meaning-conferring proof-systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6837776$AA8DC62B-473D-4792-A00B-56B68F42DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d758e4fedac0d4e62518b88e9aa507d493160e8d","datavalue":{"value":"natural-deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6837776$18B06802-47F0-4760-8990-23B20CED6BC2","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":"Q6837776$2746468A-B69D-4412-8241-381849561F03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$E604F4F0-7A1E-4F8E-9A7B-50696FB9FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$D6A9D902-DB05-4AEF-8215-6372DD5E2ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de44f59af2518b82d5b86c0c90e21beeb489a834","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$B362F04F-E2F1-4B8F-9711-22D730715661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd9a0c2138f0041a8534569ae0aa8c768953e11","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$B1862196-A21C-4F9D-96AE-050463778CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1107e1d37eb1f24adf6b00f5d1b61f33ec5baf3","datavalue":{"value":{"entity-type":"item","numeric-id":4599215,"id":"Q4599215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$95EE426D-64AF-45A3-B73F-6219C423B102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$64AD2E0B-0C5E-4893-8381-B4ACC356E468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffa98531f7120ef9f8c079ec9d6d1d744a2fd33","datavalue":{"value":{"entity-type":"item","numeric-id":383064,"id":"Q383064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6837776$8C80CEE6-BBDB-4036-B66F-2F1C6433D15A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic semantics as a resource for expressing semantic variability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_semantics_as_a_resource_for_expressing_semantic_variability"}}}}}