{"entities":{"Q2052159":{"pageid":2062901,"ns":120,"title":"Item:Q2052159","lastrevid":56787081,"modified":"2026-03-23T14:42:14Z","type":"item","id":"Q2052159","labels":{"en":{"language":"en","value":"The semantic view of theories and higher-order languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7433620"}},"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":"Q2052159$DFAF83B0-7777-416F-B4FE-17F1EFC5D89A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f3746b1ddbbfef4275bb2cd03ff1517fe367572","datavalue":{"value":{"text":"The semantic view of theories and higher-order languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2052159$69AD4E24-39CF-4EDE-93C0-D8EDA14EA7F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4955f8e3d69c5ac41ae337233427f493cfa88fe","datavalue":{"value":"1474.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$69EE1C78-4826-4A8B-AB5E-99ADAB6BB54D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50408776eafda420393296f6c661f25b7aabf7c3","datavalue":{"value":{"entity-type":"item","numeric-id":905671,"id":"Q905671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$D08C94F3-8B93-4A79-AD84-51577B2488C6","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":"Q2052159$8CDE87D3-28BC-4BA7-B9AA-29B3F9393257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6871f7c40db32fd48137a4cc4b7dc04229ff05","datavalue":{"value":{"time":"+2021-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2052159$D302CBE7-7219-40DE-A6C0-48924A2C498B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$6E8C154B-3BB3-47EE-9780-88421D409B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$4AF98B6A-76F6-471F-9348-34ACF2AB51B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9124a58455391bec87cfb4ed1a831db115b0b292","datavalue":{"value":"7433620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$923A826D-E187-4080-A05A-3A05731E6ACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee9e2d9bd174a2e305200360d41e9e8358c7242","datavalue":{"value":"structure of scientific theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$125F522C-3D05-4876-ABC6-5C8AD0E86CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c30f4db06edbbf0812f0c7a378597e1fb7d8d","datavalue":{"value":"semantic view of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$60361FBC-4469-45BC-BF7D-678861B99750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8147a64d386e4e248d9d6900a578a9b9075131d8","datavalue":{"value":"syntactic view of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$64D04E5D-86CF-467E-B717-6171BB32328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$0FA602AF-02A0-42D6-9B1E-8CBE39F754AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5607db5cf3520685539b83d2fb97772dd5fa1aab","datavalue":{"value":"set-theoretic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$D14972B4-6F7C-4225-B413-BACEA31D2455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322f4c491e7b9629a362e3201f4bd868260d92f3","datavalue":{"value":"Bourbaki","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$FA3E99DF-5EF2-485C-BE06-CC9EE6DD26FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5935fa6fd72b92144685acf22e4567eda33b04","datavalue":{"value":"equivalence of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052159$994F1720-FCF6-40B5-8B19-1B3FE7B48760","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":"Q2052159$BD2BCA5A-ECE4-40FC-94F4-1B20E5DFAC35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09d05a46d89c2f2128a6c31e9b53bbdb476dbaf2","datavalue":{"value":"https://doi.org/10.1007/s11229-017-1502-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2052159$52CFFD59-0137-44ED-8DDB-3796A3248643","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"150b6b969d77f770f37b707442c10b79bf6a4e22","datavalue":{"value":"W2766028703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$3F1DB89B-1D86-40DA-AB27-145BF73966E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b8ea2e27552398948b55b24a9ee1ed8a64d37e6","datavalue":{"value":"Q59607728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$19F434AA-BD2C-4DD3-BE1C-927243E965DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2bad4f1888accf9764931fc200db591175d3f8","datavalue":{"value":{"entity-type":"item","numeric-id":1075316,"id":"Q1075316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$E673D196-CA7F-491A-AA15-3778B60F8234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4c970498076339c0d43c6f53b3b29bee44ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1105580,"id":"Q1105580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$364A6C5A-A6E9-4BBF-A1A6-D7CE53D84997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3e3eb78f71e3678b86c609136f8efc0bd41fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5737954,"id":"Q5737954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$B74F3B88-C856-4F3B-9FEC-44F0F728F386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b24774afe4f7350a5b90f0ad56a88e30d612d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1707209,"id":"Q1707209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$262412F6-E8AC-4621-8F98-B3B607813039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$74444626-C7EF-46E1-B317-2809233DCD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69924b3d9a0f9930208efe18e0391c508a2a6ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3261405,"id":"Q3261405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$AF74F03A-E177-440F-B3B5-12B0A56E37E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$3F326C5E-FD3E-4FC0-86D5-F962CE680033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e1263f056db46e56f14e9e6338e315e86787e2","datavalue":{"value":{"entity-type":"item","numeric-id":2713318,"id":"Q2713318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$B6FB5335-D9A5-46CB-9882-E4CF745BA158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$33F0819E-EACC-4DF1-9AAA-DB090825FE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$0697D946-D825-4138-B840-79873B5914CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$8BE74C15-9D81-4BD2-AEB5-DAB8FCC971D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$C2184B98-10CA-4811-9D16-4E725CA474DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae531f1253bc27a312a60eb6be78a96127f28c","datavalue":{"value":{"entity-type":"item","numeric-id":907910,"id":"Q907910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$5DD7A3F1-C11C-4679-8C5C-11430279DA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5162b97980caf98216b3a64b04c38fbf03481b","datavalue":{"value":{"entity-type":"item","numeric-id":3260562,"id":"Q3260562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$7425D97A-7FF5-487C-B9D1-67D0634C51FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb301aad9803a380effaca921ef2116d25849ca2","datavalue":{"value":{"entity-type":"item","numeric-id":4049047,"id":"Q4049047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$7167E5BF-1CDB-4BE1-AC8D-B4F8D252480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$1195F648-1448-46FC-B6D9-C18DF10BD94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36510259714fa5c09a3186658aca7f117f984b23","datavalue":{"value":{"entity-type":"item","numeric-id":5766850,"id":"Q5766850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$38E06FE7-7830-43F4-BA8A-E3AA6109216B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fafc8bc2a59feadc5fda4518a50725dc8587042","datavalue":{"value":"10.1007/S11229-017-1502-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052159$AECAA0E9-D870-4F81-9584-9AC1F7E90829","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20486920b2019a91fc92900aee85b9f355e7b718","datavalue":{"value":{"entity-type":"item","numeric-id":2713299,"id":"Q2713299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adf037ab83974bc9d49bbd4937e7410045473a9","datavalue":{"value":{"amount":"+0.7776674032211304","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":"Q2052159$38B9368E-C480-43DD-BFA4-79AE37C7328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73984accd3558cc8a628d6952c679a6c82c99f88","datavalue":{"value":{"entity-type":"item","numeric-id":5114702,"id":"Q5114702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3751ae062b5d674809056eefc72faa9b032578","datavalue":{"value":{"amount":"+0.7572484612464905","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":"Q2052159$9899112C-B421-452B-9B4E-ACE7A502FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639b0c8142d323ee50c51f95f8230723dbad3d3d","datavalue":{"value":{"entity-type":"item","numeric-id":907910,"id":"Q907910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26b7e4fd90d00d193a6ff7a87c57b679e123987","datavalue":{"value":{"amount":"+0.7474480271339417","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":"Q2052159$0A9627A1-D12F-448B-AB23-0E2A5ED1C7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3b1f00acd6a703abae30863d9b61c9331f05bf","datavalue":{"value":{"entity-type":"item","numeric-id":4925878,"id":"Q4925878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b3c7dbf493e744c85c230fe0644d19a6ee9a2a","datavalue":{"value":{"amount":"+0.7409348487854004","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":"Q2052159$268012C2-52BD-4831-9DCB-7B0CC808436C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cc3519453a0bd7452bc1d31c0db31c229fe6b2","datavalue":{"value":{"entity-type":"item","numeric-id":5490609,"id":"Q5490609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b763088e7f0f1f0f01cb3b8733984628d474acf","datavalue":{"value":{"amount":"+0.7052106261253357","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":"Q2052159$13E92F0B-EE9C-4A22-A334-40666426CBB2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052159$B5730D73-BF0A-41FE-AD39-EE77BD3A0E02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2052159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2052159"}}}}}