{"entities":{"Q4690358":{"pageid":6719936,"ns":120,"title":"Item:Q4690358","lastrevid":53244125,"modified":"2026-01-24T13:14:24Z","type":"item","id":"Q4690358","labels":{"en":{"language":"en","value":"The properties of closed theories with its application in the formal deductive system \\({\\mathscr{L}^*}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6960706"}},"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":"Q4690358$204CFC7E-9E17-4BBD-BC7C-46906FD1AAFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9bcb6ca59e1e4ccc0b73b83c8bcea5ae2fd1217","datavalue":{"value":"1413.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4690358$D49433FF-98F4-4596-AA57-1F1D8DCB2837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adc8eee53b8dd760e2848b9a3773c92a3f5c0935","datavalue":{"value":{"entity-type":"item","numeric-id":866228,"id":"Q866228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4690358$73978783-DB81-4846-8AC5-B3F8EF7DFD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ed3ac27e2efffdf2b0d8b4672a1583c1fa9074","datavalue":{"value":{"entity-type":"item","numeric-id":827342,"id":"Q827342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4690358$55E9AC10-D147-4F03-9015-D9611C157B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4690358$5C8FB21C-4F96-402F-B13E-92EF07EBA520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4690358$8F83BD2E-D6B2-4BAA-9163-74CE9B61B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4690358$9C22E31C-ADC2-4061-A426-C00ABC6A34D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4690358$F1AF07F8-C9CA-4E6E-930D-D773A00B8536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da7fafa7258f753bc0af096dd0de388f8c10d36","datavalue":{"value":"6960706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4690358$ECF905A6-F32C-4FC8-B58C-206AB9018B09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4690358$FCE44DB6-163D-454E-A9E5-AB1E737582EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b77c0b1faff0d1b7de7c5194e7ea74a5ab254d1","datavalue":{"value":"formal deductive system \\({\\mathscr{L}^*}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4690358$192103C0-1014-49A7-89B1-A9D05B2B8F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4128c7e648b25cc52d92291d7499a650d3eeac1","datavalue":{"value":"closed theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4690358$39325F98-D207-4637-BE8A-0DAAF183E7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41699cbe2851d95367cbcb75f2808f1e8abf15a","datavalue":{"value":"strong congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4690358$FEC9B831-6B78-4DDE-A7C8-5BDB4A7967EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4690358$D8C80E8C-9E8B-4DA8-981D-1B9EDE4371BE","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":"Q4690358$C8CEEB9A-BC69-4300-9C6A-DF9A3CC2A159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8900bc25f9da05642944098ebb058bbe1e7f6e","datavalue":{"value":{"entity-type":"item","numeric-id":2764677,"id":"Q2764677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1f3332e0efcefdca6765b6c67f6c29bfe712bf","datavalue":{"value":{"amount":"+0.8397040367126465","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":"Q4690358$80A3459A-9D0E-4039-9903-DBD45EABEE90","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":"c85fe5ab9da3826c73afca8f0a7616910b6b2e69","datavalue":{"value":{"amount":"+0.825986385345459","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":"Q4690358$B35DDCCC-355B-4CAE-BCB5-D7F124BB4A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f658a6f7296dfe75e39ae6634080a9cefb19f6e","datavalue":{"value":{"entity-type":"item","numeric-id":835272,"id":"Q835272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a097854de2cd8da24b8b8f499b97f9ca6a961d4b","datavalue":{"value":{"amount":"+0.8000800013542175","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":"Q4690358$B5085C1A-8583-4657-82AA-DE1EE5E33A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63d08a0e0aee0d774f2fe9db772f839cce683a8","datavalue":{"value":{"entity-type":"item","numeric-id":2748253,"id":"Q2748253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaab70438c6283f47ac09e7d6fd7824a2400d38f","datavalue":{"value":{"amount":"+0.7988089919090271","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":"Q4690358$720EEA0B-214D-48A4-AC01-5CC4C235C111","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":"e665c48fdaa3fa665d23e2d9dee90df32192e77c","datavalue":{"value":{"amount":"+0.7978901863098145","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":"Q4690358$4C13E170-528F-41F6-8E5A-2DE0635B0E41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4690358","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4690358"}}}}}