{"entities":{"Q2764677":{"pageid":2775416,"ns":120,"title":"Item:Q2764677","lastrevid":47724163,"modified":"2026-01-02T13:06:22Z","type":"item","id":"Q2764677","labels":{"en":{"language":"en","value":"The completeness of the formal deductive system \\(\\mathcal{L}^*(n)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1690829"}},"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":"Q2764677$F6078EE4-BCAA-4474-A2B6-D3704B2F3878","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a19fc04116caab931e6f72f54f88e54210632217","datavalue":{"value":"0986.03510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764677$56773449-4AD3-4F0F-B48C-ECDE570E15C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81fedf37206b9ac5cd89bd0ba059fa8d8efa2ef6","datavalue":{"value":{"entity-type":"item","numeric-id":412071,"id":"Q412071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764677$00D6D7AB-1ADD-4A4A-9813-895E6CF1CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764677$2A448F13-39A9-48FB-A1C8-74BD53552881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-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":"Q2764677$19522191-2949-480B-9DEC-C0C5DAEDFF08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764677$2489DFED-01B7-4157-B1F8-04BD43429C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764677$F34E36D3-2AF5-42AA-AF36-1FE03B9F4ADA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53955a39506f325a27baf9f697930ed47525cdb7","datavalue":{"value":"1690829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2764677$C71D7C5E-D402-4D8E-B0D2-34730C587F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764677$31E2CB27-4BF1-4CFE-82D9-474087D478F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764677$A968E39C-DB1A-434A-8D0C-8FD350162639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2764677$64AA3DDF-DEC9-4090-AD1B-F04F58334962","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":"Q2764677$19F0060C-5C4D-40B4-BC45-F42B1F822ACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab058d652837acd0cab0fc53dd9c6964b43f0a0f","datavalue":{"value":{"text":"The completeness of the formal deductive system \\(\\mathcal{L}^*(n)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2764677$D2BE0E42-0A71-438C-A29C-408A64196E5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e365ad04c6bbc7fa32ba8815df61e64041e6c27","datavalue":{"value":{"entity-type":"item","numeric-id":6768873,"id":"Q6768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2764677$3A608653-47D2-44C4-910D-053C32B47C18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce046f80890cfc037c4da5f1af13ea905b6e7f3","datavalue":{"value":{"entity-type":"item","numeric-id":4807867,"id":"Q4807867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc594a68edec2ea2197e2964c77fe535afcb65b","datavalue":{"value":{"amount":"+0.880199670791626","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":"Q2764677$2064BECB-5FE3-4EAB-A67A-70B5451A53E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3936a36819b70ff6cab26a0dbd28d59c477cc656","datavalue":{"value":{"entity-type":"item","numeric-id":2735416,"id":"Q2735416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5d498114e1d8d9646bfb2bf06c011dfdefac1f","datavalue":{"value":{"amount":"+0.8801990151405334","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":"Q2764677$F08367E7-CDE1-42A3-80EB-37FF83FF51C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc46aa7f89d5d8edb35617773918983e8616882","datavalue":{"value":{"entity-type":"item","numeric-id":865970,"id":"Q865970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031ba8ec73df064d8d909e84a61fec418d6aa70c","datavalue":{"value":{"amount":"+0.8724969625473022","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":"Q2764677$9D4722F8-0D57-4AA3-9EA3-48A462431BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8e5482b5a6f94ab369efbc2020b90674165f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1425262,"id":"Q1425262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0175fd69c046202bb5f19ade48cf7ca31fa602","datavalue":{"value":{"amount":"+0.8565146327018738","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":"Q2764677$694D437C-C02C-456F-9CF2-21C6643B8B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab9563c4c7cdeee18c53824a31adc2c20d03470","datavalue":{"value":{"entity-type":"item","numeric-id":4805940,"id":"Q4805940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b1dca035cc9a4834327758dc8b40a7c5b59917","datavalue":{"value":{"amount":"+0.855726420879364","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":"Q2764677$FCE5FB5F-CDAA-41EB-9837-59302E29855A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2764677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2764677"}}}}}