{"entities":{"Q2515769":{"pageid":2526512,"ns":120,"title":"Item:Q2515769","lastrevid":78797654,"modified":"2026-05-06T12:27:47Z","type":"item","id":"Q2515769","labels":{"en":{"language":"en","value":"Constructing formal semantics from an ontological perspective. The case of second-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6471077"}},"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":"Q2515769$49EF162E-7C8A-46E7-A87B-5269FE188EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be70f541ccf81f1b6f1e36ec4bf6be7efaee0082","datavalue":{"value":{"text":"Constructing formal semantics from an ontological perspective. The case of second-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2515769$8A19F849-5112-4F0C-895A-63E8022A5539","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e838aa42b955e1f0991ad99583337a309441717","datavalue":{"value":"1318.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$7AE4F6FE-46C1-4A66-B95F-F28FDA7FDE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d83fbd21ec770ea7b167ac18f2dc4adeec6b30","datavalue":{"value":{"entity-type":"item","numeric-id":513945,"id":"Q513945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515769$69C2704F-40C8-49C4-BF32-23C71F16D686","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":"Q2515769$48041B12-D9F6-49A4-B770-3B8E7183289B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740d35fe9c4d597c0c2badb44e584c1da64170de","datavalue":{"value":{"time":"+2015-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2515769$1BD75867-D037-41BD-8DF1-EA235A32BCD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$9FFE8D56-37D3-48F5-B297-2FF54BDFF29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$A5982137-1A86-475B-9151-8DB20D7E7525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99d98c57fe9c6c8d52abe94057fd560d18c954f7","datavalue":{"value":"6471077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$BDCD81C8-75F8-4F12-A3E3-D6584A80A90A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$2DDB6605-D5CB-4431-920A-3B0277FD23E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$8F8D2C7F-D3AE-4F51-9731-14CFE3958DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e53a9c6d3f0b5c1c65c8dc61a783e761a060d0","datavalue":{"value":"truthmaker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$EAD95100-EBD8-4657-A77E-692678CC4A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937f8ff8443574de1556bb8ea5c3e4bfb46623cf","datavalue":{"value":"ontological commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$91774C79-5FFE-405E-B066-16EC0D9BCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$B7C0198C-8168-4D69-87A4-E5BB3484C2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db8186576c044bf016df6bdb27f8b4aab658d34","datavalue":{"value":"nominalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$7F3F1667-E8F7-4415-9A8A-8FD58015EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a893095a04be0c62195b5a7efcd32d00704462c","datavalue":{"value":"realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$66A033CC-7C5E-45B0-A36D-3C0EA34578EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39a9f7946065c4715bc7695a531e07109ff0a55","datavalue":{"value":"tropes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515769$B0A262A1-7DFD-447B-B092-DCCBC4DC66E4","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":"Q2515769$60A6F7FB-87F5-4F5E-B39F-13085B710269","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd4ff87f961f4ef791a13a2051da22c4e0d2d5f","datavalue":{"value":"https://doi.org/10.1007/s11229-013-0387-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2515769$D9863280-068A-4F1C-AD3D-21B67B0A0C89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f98606e61eef1065699b7fa0504cafa995304d2","datavalue":{"value":"W2094768459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$60E21AC6-0579-4DFC-A77F-A83EF4254FC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e81dbf1aa8d0ff1797a30f36998b65a9566cd23","datavalue":{"value":"10.1007/S11229-013-0387-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515769$F1154C4D-5899-41E0-ACBA-42F3F88179D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5eb07dcb2f22fed3fd3f3b504542c918a76e021","datavalue":{"value":{"entity-type":"item","numeric-id":2053351,"id":"Q2053351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c280d2e5694321051f29e4932b91f5cd4115a080","datavalue":{"value":{"amount":"+0.7146369814872742","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":"Q2515769$E61F1C27-0402-4457-9AC6-D78B49F0ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32af33eeced65b4153eea6cb5b44f1a82bb574d0","datavalue":{"value":{"entity-type":"item","numeric-id":3616078,"id":"Q3616078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba40c8908b4ba96cc66941f792c4a8c86e9ba23","datavalue":{"value":{"amount":"+0.6980305910110474","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":"Q2515769$0CB49AC8-9387-4817-B1C7-20148078666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c7a7751b444c96112bdb712d0aa776a510da9a","datavalue":{"value":{"entity-type":"item","numeric-id":3466627,"id":"Q3466627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2918f96c009feee8c18cd07f1653f3e7f1e740a0","datavalue":{"value":{"amount":"+0.6956141591072083","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":"Q2515769$3BB0FDBB-D268-46D4-8405-220493D6DA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4404128add23b3b361f31fb4fb9234c8913a78b9","datavalue":{"value":{"entity-type":"item","numeric-id":2391789,"id":"Q2391789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58605a67817e1183c26f89142cddea1a6f339a6a","datavalue":{"value":{"amount":"+0.6807982325553894","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":"Q2515769$390A885C-0475-4850-961F-1D8871154939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0843b1607549ce281e11b90418009ea9cfa4f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5446858,"id":"Q5446858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9900527e76eb7f6012d5445f573f66b157aba7","datavalue":{"value":{"amount":"+0.6727156043052673","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":"Q2515769$B12B44B9-D664-4797-BB38-03B375AE7603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing formal semantics from an ontological perspective. The case of second-order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_formal_semantics_from_an_ontological_perspective._The_case_of_second-order_logics"}}}}}