{"entities":{"Q558413":{"pageid":560180,"ns":120,"title":"Item:Q558413","lastrevid":62791323,"modified":"2026-04-11T08:28:30Z","type":"item","id":"Q558413","labels":{"en":{"language":"en","value":"Wittgensteinian predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186732"}},"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":"Q558413$90964105-56ED-4A5B-929B-64E119C2E03B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7517719b81715752ebf14df3448225a0f8e9966c","datavalue":{"value":{"text":"Wittgensteinian predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558413$A8DB5A49-0560-4AB7-8E17-7323D0E70A17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a5a00b6c1cc4ca77bd4048fcb0b1df32b5d7fb0","datavalue":{"value":"1088.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$7D2214F2-9449-4D2E-A258-2287AB059CB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558413$604D36DA-4478-4C99-892C-D321B5593A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-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":"Q558413$7BA82AB5-8014-40AA-A823-0B07AA338A89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$557EFAF7-0FE2-4A7C-85B8-5BB3BC76FFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$9E9A7A6B-F89D-45FA-A4DC-3A26C1912555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$5E296949-8716-4593-B74B-E8924919AB0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8105f08017880ac6a7399c8b0b6df033ead4253f","datavalue":{"value":"2186732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$E32010B4-8FA3-4CE9-AB17-154E5548EC39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558413$FB1FD60E-993D-4DC9-A057-65CF3ABFA90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d95d7563f11e0c7d37e1f6b9998710684b4083","datavalue":{"value":"identity of object","type":"string"},"datatype":"string"},"type":"statement","id":"Q558413$5702285A-22BD-4F53-981F-EC9B5D515ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e852fb9f816bb51fba546728366060c15493dc07","datavalue":{"value":"identity of sign","type":"string"},"datatype":"string"},"type":"statement","id":"Q558413$F8EC19A2-C3D3-426C-ABA4-468B7319DBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q558413$B6C7BA59-7DFF-4408-A8B9-12CA04591E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558413$AA2E579B-3821-480F-A891-42ED142376C8","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":"Q558413$C91B6F64-F543-4E38-9F1A-A926571EAB99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca14cdf4f341f1066bcfe7cdc017547798f2165a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094155275","type":"string"},"datatype":"url"},"type":"statement","id":"Q558413$A18A8CA7-BF7A-4751-BCBD-5E3AF4BE040F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f890199eb385683cb2ebfa615722ffde4a2c9f0","datavalue":{"value":"W1991882975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$FEADD599-CA0C-412A-A1AA-BC242B30EFBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292a53cf08826cd0b0d4038837051a4dd6b0145","datavalue":{"value":{"entity-type":"item","numeric-id":3159152,"id":"Q3159152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558413$ABF17210-7C7B-4012-824F-BE7DE287DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9326faf3b80417a57d11f2f5e0c4629a6dc48d01","datavalue":{"value":{"entity-type":"item","numeric-id":3233205,"id":"Q3233205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558413$58630F69-7729-4EF9-9418-3EAEA39CFD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558413$A79675FA-C5FD-4D77-B24D-DC3C5D844A76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2fc319aa5c93e2f8083c987f1f331aa73e97408","datavalue":{"value":"10.1305/NDJFL/1094155275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558413$371F7930-C42F-4F3F-A9F6-36F4EE100118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cfd0803b2697fbb9f7d66a9f9b5dc45ce9a236","datavalue":{"value":{"entity-type":"item","numeric-id":1020577,"id":"Q1020577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0eaec4ec5d9d49867257ed8fff859ff65b20b1","datavalue":{"value":{"amount":"+0.8360760807991028","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":"Q558413$9ADB0847-0129-4E5B-8B68-059C5D978734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6b3db57932302873d6ad178d5fe3d461f3b8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2896316,"id":"Q2896316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f5a653d0779052c933fbe2fdfec75a0d3787e4","datavalue":{"value":{"amount":"+0.8083427548408508","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":"Q558413$DDED70A7-9650-41EA-900E-F9B8E818E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e867e1b7c51390b4aff94812e73976ed382e6f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4899960,"id":"Q4899960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f881acb4a7bfd14912cc6bf856f6cf5932e216","datavalue":{"value":{"amount":"+0.7817828059196472","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":"Q558413$64BCEE7C-5D7F-4D48-B34C-3E0CDC9B5735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0322cde8813be79789fd80855b4c38867b281fd5","datavalue":{"value":{"entity-type":"item","numeric-id":5001549,"id":"Q5001549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ec13c7412d09135d791d8ccde52392f9531f92","datavalue":{"value":{"amount":"+0.774411678314209","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":"Q558413$A3A3FB64-9FEA-4C58-B523-2932EA106232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3520b773dad450a7c0a6bd8b185fa07bdb56f68c","datavalue":{"value":{"entity-type":"item","numeric-id":5737959,"id":"Q5737959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492fd8a4c6afdca5b522691acfbaebf4aa810617","datavalue":{"value":{"amount":"+0.7602527141571045","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":"Q558413$C0907CF0-B3A3-4438-BAFE-453CD182369B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wittgensteinian predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wittgensteinian_predicate_logic"}}}}}