{"entities":{"Q3499800":{"pageid":5529703,"ns":120,"title":"Item:Q3499800","lastrevid":50370428,"modified":"2026-01-13T22:08:51Z","type":"item","id":"Q3499800","labels":{"en":{"language":"en","value":"SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282339"}},"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":"Q3499800$D92CC9AF-2C7A-410B-83B1-DDAB51BBD6CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e19f7350f7b2e89f5bbacf1a733190ec04f364d4","datavalue":{"value":{"text":"SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499800$A8635BC3-AFBF-4125-A6F3-1B3E23776908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f14026cde015e1d5f84012c26affcfdb8fcbb7d1","datavalue":{"value":"1138.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$AEB02C5B-4576-4147-892B-1464BFCDC4FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5dca68ae3ca1ab5ffee6b36b5daf704bfd3e306","datavalue":{"value":{"entity-type":"item","numeric-id":365668,"id":"Q365668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499800$84AE676A-4F81-431B-9A3B-38816AAAED0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d288cab8f31a716eacf1c821b333a2975369187d","datavalue":{"value":{"entity-type":"item","numeric-id":3499795,"id":"Q3499795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499800$70478C07-FC35-46ED-9D58-4F3B773E4071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-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":"Q3499800$7C921D66-2417-4EBD-96EF-8B8E3B5DDF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$78799E30-2684-47FB-87F3-A811F3EC5C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$C6B6A9B2-4A0C-44BD-A4B1-C5DAF2CEADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$50B74D30-ADF6-4119-90E0-23B48B0BE187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$83B48A15-E976-496B-8A0E-319FD8E9B36A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccd4df68420da07df45e70c6ae113d9e2ff9f460","datavalue":{"value":"5282339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$A62E1EA0-33DB-4F8A-A70A-3C3AED288541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499800$9473FE04-43B9-4D5F-A64F-637E09D23E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499800$1F94E609-0AB0-4082-B74C-BEC3B50D16CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7348c001d4c51aaecfb8cf5b43d6b9fb809ed9c7","datavalue":{"value":"Prawitz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499800$9112EB8E-104F-49B1-817A-024F0D594FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778f744f9de1c19fd42b64a7ef8aaf69d65a6b0e","datavalue":{"value":"Dummett","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499800$97F4F074-AE9C-40B2-B11C-F68783B5AC28","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":"Q3499800$BB8F122A-EC48-4DD5-AB51-8285A36B566C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5579c607feae50adc234c0c3b8d147616a1bec65","datavalue":{"value":"https://doi.org/10.1111/j.1467-9213.2007.506.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499800$A67D9060-9C90-4D7F-BA99-4311FA10D5F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b01f2e853373ac6e7acce3bc3387f588bc188da","datavalue":{"value":"W1977055342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$39631D10-DC72-4A6E-A2D1-8070D74F1EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60c227703965fd4ac8e6f05b0d92719d8f7fe3e5","datavalue":{"value":"10.1111/J.1467-9213.2007.506.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499800$A47899E5-AFE0-4AF0-92F0-3CF4F117BB80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939fb5ae1537209d5555de016e12fad6379f79c1","datavalue":{"value":{"amount":"+0.8020897507667542","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":"Q3499800$7C97018A-D913-414B-BADE-DF6829B57CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec26825359b86b74132d1925cd30a4590d699f0","datavalue":{"value":{"amount":"+0.8019216656684875","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":"Q3499800$CF66DBBC-54A1-4D50-84E2-D93F9210283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aca3e817b17952bfad6889caea08c136d4ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":3119360,"id":"Q3119360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d644f0a9696ff40a82664751ebdc4a30d6f279","datavalue":{"value":{"amount":"+0.8016867637634277","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":"Q3499800$0EDA228E-895B-43DD-BDF1-C61091F41F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eda87278d89af66a50920b8668918d4a226459","datavalue":{"value":{"entity-type":"item","numeric-id":2690170,"id":"Q2690170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea129f3b8bad635dbbe12138b88c23911c94defb","datavalue":{"value":{"amount":"+0.7876073122024536","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":"Q3499800$0CAA86C8-36C4-497E-9F72-4BBF37C8C601","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":"711b6f7033d66e2ed9ac53c7f7528b014ba850d5","datavalue":{"value":{"amount":"+0.7751407027244568","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":"Q3499800$551C2F5F-B4E6-4A78-8CED-136F138CBF67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499800","badges":[]}}}}}