{"entities":{"Q795028":{"pageid":796876,"ns":120,"title":"Item:Q795028","lastrevid":48716587,"modified":"2026-01-05T17:05:50Z","type":"item","id":"Q795028","labels":{"en":{"language":"en","value":"Logical semantics as an empirical science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861116"}},"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":"Q795028$4A4C81B4-0441-47A2-AD38-14B8ED0C6E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec1bc7c3f6d775eb72b167b8f5573bd7dc7e5b92","datavalue":{"value":{"text":"Logical semantics as an empirical science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795028$9AAF6CB6-9B0A-46C7-84B2-699F53A2C6CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b696221de797426c6c718e343f214206b9db78","datavalue":{"value":"0542.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$8E0B28BC-1B9B-4479-916D-7BDFFF5800C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"721c23a5b4fd9dca2cf543874507a81326a6d247","datavalue":{"value":"10.1007/BF01063849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$13FA4694-5D8C-48F8-BB0F-DC5D6B7CA6AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$ACE5AED7-87B5-489D-992B-90EF2122179A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q795028$AF3072CB-750A-4B6F-B9B4-9AC0FBE8976B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b43db69378e5a837c6a412f988971bd40f164581","datavalue":{"value":"This paper presents a logical analysis of the structure of semantic theories, using notions from the formal philosophy of science. Its main conclusion is that the common semantic 'completeness theorems' establish, in a precise sense, so-called 'eliminability' of theoretical terms used in the model-theoretic apparatus of the theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795028$E1CA2369-A56C-4768-B209-E9CC1AAB91AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$2D1FC6D7-EC22-4957-958B-155B8E30D1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$8FF8F6C8-CD2C-4C59-82B7-1399D048C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$8ADBCB4D-11B5-46D8-9531-F615D986C83E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79eef3ab32c9ec4eb51baf1c6efbf9314664ebe0","datavalue":{"value":"3861116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$146F4E6A-4874-409A-91CE-F642F66057A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32d079816daa9ecf95a0875851461abaea28f711","datavalue":{"value":"elimination of theoretical terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q795028$8C02B765-19BD-4206-A7AA-B251347A479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734dee2ba543f89605649c27974a8a69c7e32547","datavalue":{"value":"logical analysis of the structure of semantic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q795028$4246EECD-8AC1-41FC-BCA2-731E821930F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f628ac99832494e6202adb4490de0dc80640ed73","datavalue":{"value":"formal philosophy of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q795028$B2132FF5-72AC-461C-8778-C4E26201C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q795028$F58473FB-B384-44E3-BC7B-1EF01C9C6C2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$5F5FE062-6371-46E8-92E1-C4DAFD233567","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":"Q795028$8B0EEEAC-8F2A-443C-9DB9-F748258F127B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7579b81510e96bc23efff55532f1c5e9e2efd3","datavalue":{"value":{"entity-type":"item","numeric-id":1255487,"id":"Q1255487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$6F7C6EBF-7165-49C2-8060-24D877FC9488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c9c879034240e81c35149726bcbfb0ebcc8b2c","datavalue":{"value":{"entity-type":"item","numeric-id":3898471,"id":"Q3898471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$5BF9459F-9905-4208-B58A-D1543F750E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdf7b36f5fc3a4d7c3714ec3c7dab3e680dea45","datavalue":{"value":{"entity-type":"item","numeric-id":1164615,"id":"Q1164615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$A1156C71-49D9-48C2-A963-93236C473867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$151746DB-21D9-4C58-B6A6-E7420F4FD5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5bbaf38b2d3b72f04c260c85c497f17a02624d","datavalue":{"value":{"entity-type":"item","numeric-id":1062672,"id":"Q1062672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$9C52EF9F-0572-4C48-AD33-183404A3B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a81e56407bc478d73f146ddcd1d95f2efe6958","datavalue":{"value":{"entity-type":"item","numeric-id":5905798,"id":"Q5905798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$383C3D44-2B1B-4AF2-91FD-59D3D99DBC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f1c91ca410ff7cd6dd5b83491fcda126d87ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1236113,"id":"Q1236113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795028$EA59A421-9C72-4E7A-8C30-CFD7AB6C69DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2679f86f023d383fca08e6d3a20936a69634a630","datavalue":{"value":"https://doi.org/10.1007/bf01063849","type":"string"},"datatype":"url"},"type":"statement","id":"Q795028$E2E1A004-84D0-4797-AF74-6C895E26F0EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c8095698b18b4f4f1c265af05b67cd70dbaeda","datavalue":{"value":"W4238032050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795028$EB75B9BD-7C79-4BDD-B7E5-0E58AACE6824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca102808a3aa999dd7cfa4e069d55b7a40fc2382","datavalue":{"value":{"entity-type":"item","numeric-id":4942675,"id":"Q4942675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451e8842e88248e34d6e9c961a0ca1baef111cc0","datavalue":{"value":{"amount":"+0.746373176574707","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":"Q795028$4D5469CF-AD0E-4F3F-B4AF-534A7804EA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e05b03e01e42b4db855c4fe4eca3a74b42e86c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677745,"id":"Q3677745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6f756cff64445ddfeec18011b478a76de167c3","datavalue":{"value":{"amount":"+0.7286999225616455","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":"Q795028$6D5EA635-BC08-4B03-972A-F829D19D7355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230c7cd1e5d23d5b261c4382dcf1a2eb4a538172","datavalue":{"value":{"entity-type":"item","numeric-id":3458153,"id":"Q3458153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b269968ee136491f4eb5b3117ef7320d3c4cc496","datavalue":{"value":{"amount":"+0.727909505367279","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":"Q795028$F8A9722C-D25F-4699-BE86-C093F4EE7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49b12fc386277981f984118b67910a45ea9243f","datavalue":{"value":{"entity-type":"item","numeric-id":4661974,"id":"Q4661974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5582b8d08437d23475bd482467abaa611dc505","datavalue":{"value":{"amount":"+0.7274714112281799","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":"Q795028$04C99C7C-594D-462E-8ED5-64808A490C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ab600117533f9d9f6a3f2c6f27899a1a385f3c","datavalue":{"value":{"entity-type":"item","numeric-id":4495721,"id":"Q4495721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f70066bf3017af757d028239b9330749a5464b3","datavalue":{"value":{"amount":"+0.7251348495483398","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":"Q795028$8F7ADBF9-CB74-4787-8E49-DDAF995289E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:795028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:795028"}}}}}