{"entities":{"Q2052190":{"pageid":2062932,"ns":120,"title":"Item:Q2052190","lastrevid":54158171,"modified":"2026-01-26T09:03:21Z","type":"item","id":"Q2052190","labels":{"en":{"language":"en","value":"Anatomy of a proposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7433672"}},"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":"Q2052190$38C54EA3-3E96-4AE7-82E0-2EA290FE5435","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cab745a3b7f10759c96c75dd50dba24503ac2d28","datavalue":{"value":{"text":"Anatomy of a proposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2052190$359F00E9-021A-422F-8D3F-5C17D023C5D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0e85e0d88f7a97336028159171e14c29d96a507","datavalue":{"value":"1474.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$42933F71-FCD2-4807-B123-35FF3A406040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63485f65b173020cc1b0db49dc13b0589e505cab","datavalue":{"value":{"entity-type":"item","numeric-id":514086,"id":"Q514086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$1DE02BAD-2F5A-4CE2-987E-0BB262E02ED9","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":"Q2052190$CFA1FC11-71CE-489E-B9F7-CBFAE06CA8D9","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":"Q2052190$B887A94C-6D5A-4547-AB76-0EFCE132D239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$B9D89EB0-0369-458D-8A33-6A6FFAD3E691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$C3799A1B-60D6-4B0D-9D3E-72D65C0F5A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8b10468720bcfc2a68044e5631a73463e06e099","datavalue":{"value":"7433672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$7F512957-C9BD-441F-9175-57D6F18B4194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242c33ac35a842458e51a2a59326a0f1b320f0f9","datavalue":{"value":"proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$A9114114-04CE-4E16-87B5-5B858BF05D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fa0c19977d58caaa34c54bdd121a931cf67a5f","datavalue":{"value":"unity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$0E77197C-7B56-42B9-99C4-0059E5A921F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6144280334559a6115bb843e62e7394a2e844ae4","datavalue":{"value":"structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$F349C1AB-1557-49EF-A9D1-AC4636012DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450e4e7d8d5f81e3ca4fe442a1d8b1fe9cba983f","datavalue":{"value":"predication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$2040C23F-38CA-4107-B287-5CC632AF997E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$F92EFD7F-5F56-471C-AD7E-2ED8BC10C462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f13c15b7b40e6ca423f3cc21d0bfdab128307f5f","datavalue":{"value":"transparent intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$46A96901-5570-4536-9041-9FDAB08DDD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$04193D3B-2A3E-4E67-A7CF-3100B4184659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2052190$E01CBA38-386F-4E98-813C-55EC6BD88E31","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":"Q2052190$3DD043F6-8DD3-417E-AA62-C12D206E8BBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04caa402e8bbf7b0e47799061610bee65386542","datavalue":{"value":"https://doi.org/10.1007/s11229-017-1512-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2052190$C9459EC1-D202-4818-8E4C-080F99619A17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c1db9f00ff402755f391cfa8b40547ad2a52906","datavalue":{"value":"W2746835230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$556392C0-DDB7-42A4-9F87-1715BE9CDBC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d5152d52f68822072beb845d283f81916df305","datavalue":{"value":{"entity-type":"item","numeric-id":2890693,"id":"Q2890693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$3B750E84-4AE3-49E2-85DC-F164BA29F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d727263ffbf047fb7ae695aafedc923be847548f","datavalue":{"value":{"entity-type":"item","numeric-id":514087,"id":"Q514087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$F681A3DA-C799-4319-90C3-4C791D6B1156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4188e4adc39d938f7f753a7d31f5eaa4e9c4651f","datavalue":{"value":{"entity-type":"item","numeric-id":967450,"id":"Q967450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$0CB0230C-9D2D-4EAB-9123-339A6D70BEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98b72c897a172fc1840d8369864272d2aca067f","datavalue":{"value":{"entity-type":"item","numeric-id":1029819,"id":"Q1029819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$F0843754-45C9-4741-824B-EC67A276E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41f6b568e1e3c9643a597df16358ef9cb639cad","datavalue":{"value":{"entity-type":"item","numeric-id":1708962,"id":"Q1708962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$C5B958B0-C465-4B02-9B99-1305BBD4DE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d1f04b73193413c1e304c124d2ac78f433c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3225666,"id":"Q3225666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$DC5EC5D0-8442-433B-851E-D0704E80AE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$4D6D1368-C343-4AD1-803B-741F02A077B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51710d16df47098577e7bc8302697270258984d4","datavalue":{"value":{"entity-type":"item","numeric-id":4565827,"id":"Q4565827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$276A4101-AFB8-4596-BCE1-CD812F30D78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$FE037CBF-4686-418B-A055-F75CD773B483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5401f9b2d0bd511e74750cbfe0e619e49f66b9f","datavalue":{"value":{"entity-type":"item","numeric-id":3949031,"id":"Q3949031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$2081CC23-62DA-42E8-9CA4-A5D3409A6ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abd41d747ddb3dbe2ccb9ebc7b621dd443fa071","datavalue":{"value":{"entity-type":"item","numeric-id":3992728,"id":"Q3992728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$07FA8BEB-28C5-492B-BFEE-76AFDBF7C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc90d83741bdf20fd08882729f859f4d5a2de372","datavalue":{"value":{"entity-type":"item","numeric-id":2702582,"id":"Q2702582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2052190$ABBD9D5D-B770-48A3-BD93-3A54AFEF0DA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9749f6c112a5114469e29a7767c0c32177bd3d1e","datavalue":{"value":"10.1007/S11229-017-1512-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2052190$E43E7776-83B1-4286-A253-DB02568BC6ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e95835ba775a86638b578edb05eb75d88969d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2052189,"id":"Q2052189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32293a60e0a801e93eba413340ebfb630fe3003c","datavalue":{"value":{"amount":"+0.8424972891807556","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":"Q2052190$6A21EF5E-7563-4585-BF46-6901A97E251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69632c1203ab48dfa6f0fa77f69bf0c799acb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":2052204,"id":"Q2052204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9ca2d63241b241b639538ee68ad5de7e1bd4a9","datavalue":{"value":{"amount":"+0.7347251772880554","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":"Q2052190$83345D9C-69F1-4190-BE3F-7E503774ADE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46b83735555197af7d0123201924451197653a","datavalue":{"value":{"entity-type":"item","numeric-id":2987758,"id":"Q2987758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5ccbcdd8ceb5bce659edeb767f1b58c5d21a9f","datavalue":{"value":{"amount":"+0.7341430187225342","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":"Q2052190$65863BE6-7213-42AD-9EAF-4B4A197B7F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf7d57755ed8e8cbc2599b597aae1ffcb3f53b6","datavalue":{"value":{"entity-type":"item","numeric-id":2055916,"id":"Q2055916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9e0461a8b76f8c96e49128fb96d6095e6b3f0c","datavalue":{"value":{"amount":"+0.7211514711380005","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":"Q2052190$734CCE7B-01B4-46D1-8DCE-9C0F00AE6F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49dd06d522d1647ca142e0b14fba81e4f8f43083","datavalue":{"value":{"entity-type":"item","numeric-id":2695390,"id":"Q2695390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfce1554d8f987df75b356b223550ed7ac4d9736","datavalue":{"value":{"amount":"+0.7152184247970581","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":"Q2052190$B2412E09-CEC9-4377-94DC-41AA6538CAC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2052190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2052190"}}}}}