{"entities":{"Q3822147":{"pageid":5852053,"ns":120,"title":"Item:Q3822147","lastrevid":54171032,"modified":"2026-01-26T09:46:36Z","type":"item","id":"Q3822147","labels":{"en":{"language":"en","value":"Fuzzy natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095434"}},"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":"Q3822147$4196BA29-3803-4C4F-A482-22DC48CC01DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf5b0f442aff6965ffb91c07d95ab3a03352a27","datavalue":{"value":{"text":"Fuzzy natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3822147$34AEF01E-864B-4C67-B203-8ED08A4EA90C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03b83c5aef968ebe2fe6b15390bce70a060f3fff","datavalue":{"value":"0669.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822147$3A428929-22E6-4EE6-94F8-FE929D3F5147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47c632a6892c705a778626aeac00adf94f0a025","datavalue":{"value":{"entity-type":"item","numeric-id":178971,"id":"Q178971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822147$C3584688-1A56-416B-9226-2B9B63F7480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d6872fdd382ac2dfdd222fb2cbe7f448cd9ea02","datavalue":{"value":{"entity-type":"item","numeric-id":1073818,"id":"Q1073818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822147$8877598A-A1CC-4EF1-93ED-754B94886034","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3822147$8B0DB255-A0F4-4A7D-AD4A-3B9A20BBF28E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3822147$B09FE712-49A5-4DBD-8EA4-8B1E04D8561B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822147$CD09D497-FB35-4BBF-B218-EE0100BF5B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f7b42b1749bd1334e0dc89f1a267468854106e7","datavalue":{"value":"4095434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822147$AB4184D0-5CB6-47D2-A8A2-223508720C88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8047a6c90f7316d226b3471944460b2a55533509","datavalue":{"value":"fuzzyfication of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822147$413F2882-C80F-43DB-9CD7-2C33A5B22CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d50772b3387d3392e15f43723321c5b0c8d6229","datavalue":{"value":"consequence operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3822147$C9032678-1B9F-4F57-8B21-D48169644392","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":"Q3822147$808F6345-1409-43C6-A31D-E6A925DC5844","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e72ba8089b139445b42d0629477c6ff9baa7081d","datavalue":{"value":"https://doi.org/10.1002/malq.19900360108","type":"string"},"datatype":"url"},"type":"statement","id":"Q3822147$4EF897D7-F71E-4451-A290-1A4053A53309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f24346b293073cf46ce9e599ffc0a06f6b9c73ab","datavalue":{"value":"W1984291440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822147$8DB7C115-C1F9-417F-861E-EEFB563A18BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecc139d41f37ba3fe1e1407dc59213afda22602c","datavalue":{"value":"10.1002/MALQ.19900360108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3822147$947A1DC6-D808-4C68-863A-60ACACDAAA18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bd17dd8357f4e35c390728db0f7e38eab556f9","datavalue":{"value":{"entity-type":"item","numeric-id":4273787,"id":"Q4273787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dda7a8ee0ba92a2b4d34cc3040fe994210cd287","datavalue":{"value":{"amount":"+0.8129180669784546","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":"Q3822147$B7AE6546-582A-45D3-A2E4-E542CD59FF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cbddd96c541861adaf78fb8ba4d7d18f50ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3481674,"id":"Q3481674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b29c7dc0d2644a16201204602c0b87933e1c9af","datavalue":{"value":{"amount":"+0.8080222010612488","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":"Q3822147$910A097A-4C16-45B7-8859-64FF0C1AEF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66bcef400736bc84cacc5a839ed4b1394d0e48e","datavalue":{"value":{"entity-type":"item","numeric-id":3760507,"id":"Q3760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73b993459b8aaf09cd79acbd669dd54f1c0016c","datavalue":{"value":{"amount":"+0.7956702709197998","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":"Q3822147$56F7411D-3363-4661-9B79-5668C8134BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372eca999c4889f2ed26d08c9ab5860901485266","datavalue":{"value":{"entity-type":"item","numeric-id":4244877,"id":"Q4244877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6baa0340715d4aaeb466967eddc63779282b7e","datavalue":{"value":{"amount":"+0.795462429523468","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":"Q3822147$98E435FD-CE4B-4FFC-9197-2B90987231E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0403aaf719ae8925c1215e05162b1b8b353a2a21","datavalue":{"value":{"entity-type":"item","numeric-id":2784584,"id":"Q2784584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d2618031a783a0841d99d577c08b387bd01a65","datavalue":{"value":{"amount":"+0.7943680882453918","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":"Q3822147$855004E2-8CE5-4369-95AB-B20979381696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3822147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3822147"}}}}}