{"entities":{"Q859844":{"pageid":861692,"ns":120,"title":"Item:Q859844","lastrevid":64890579,"modified":"2026-04-11T22:54:44Z","type":"item","id":"Q859844","labels":{"en":{"language":"en","value":"A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117656"}},"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":"Q859844$DB5DB619-0338-4111-994D-3F3C275025F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbb1a22e5f518656b29945deba5a195228da9bde","datavalue":{"value":{"text":"A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859844$C73757E7-3454-4F7B-90F7-13FA4FD7AC5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccd47e2037314d42f16e91c7e7164c4a0f5ebc04","datavalue":{"value":"1108.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$B5E901DD-9768-4B54-99D5-07CA38E9C7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d738ab1078f25c91968b5d8d164ce31dcaa5f0dd","datavalue":{"value":{"entity-type":"item","numeric-id":182358,"id":"Q182358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$C4B11F77-E774-4072-81AA-B94C12CB44BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$FB954912-8E49-413A-9850-F452FA35713D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9048a182a2004509e8f96f49f252325f27fcfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":377472,"id":"Q377472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$929837C9-4890-46DD-BD74-56E1046B72B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58a904a9049d828532a30190bcaa55f7b80ed883","datavalue":{"value":{"entity-type":"item","numeric-id":744318,"id":"Q744318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$4DD263EA-0382-487D-B3F5-D4AA93D498A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$718DD67D-6855-4195-B94A-FA9A661EC542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-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":"Q859844$B40ED987-1882-4545-9587-738EC5268E82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$073F4642-A9EA-48EE-AB09-ECB489A3A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$97B91D90-F813-42A0-B846-AFD8FB5995B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a5608bb809f49177ff931eba753c5951005c493","datavalue":{"value":"5117656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$D43E682D-9B69-4B6F-9885-CF23249B8791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q859844$0D3A9456-A747-416F-99F2-5383D9C8EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9da4c6e819b1f037aaeb422cb3b6c93bf2d0be","datavalue":{"value":"fuzzy reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q859844$69DE02B7-24D0-4265-A488-A1E27BC615B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q859844$279D55A4-B635-4871-8E74-D8576AE80777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q859844$46339924-CEF5-419A-81E4-55C289862CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18c0a442af6a3f06e7280e7b4e31fe5eaae74ff","datavalue":{"value":"fuzzy Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q859844$64296BC6-2436-47CF-8578-DA89FA7A4A5C","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":"Q859844$E22B3846-0261-472E-95D1-AF4615D85819","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"319ad4e286600b02c6e792250f0166fec79b7c47","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q859844$9962F5F5-16C1-49F6-B8B4-E9946CEA5DFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d66b7000863a4c8fd7d0f8d18cf3a6a114d35ec","datavalue":{"value":"W2142686960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$719B7C9E-846C-43D6-9506-A0DDA998E061","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$2D7C9159-3850-44B4-94C0-45DD12C21A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$456F5980-E903-452F-BB18-EE462A76A5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$7BE9C411-40DA-43C0-878F-C8454ACE2E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e473b8e641dbfaf76db8227c4e98b00936e51","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$7EB202E0-1647-4B88-B831-D46DB1AC59A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ff0d244886a54094363c55086ce9a027eb1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4039980,"id":"Q4039980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$5F3FFDEC-381B-4B76-BBDD-DF568AC99789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$71EA277C-B7E0-4F6D-805C-3E7E71C06D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd57646bfaa45a999f0626411e2d750d3261b42","datavalue":{"value":{"entity-type":"item","numeric-id":1601884,"id":"Q1601884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$D6C1BB6D-85D2-4574-B6EE-4AE7FEFBB5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$4D41E93E-E7C3-4AE9-870F-AD49495900AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$9DC33C12-7040-42FF-BF4D-0746379334DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$6ACDD268-D72C-46C1-B3C2-359B1CEC1471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a299a13a78d08a193b851aa8972c33e5b06fabb","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$D223CFB3-A023-43A6-B5B5-A3B59782F34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$187E8D14-1C56-4685-80CD-F82C0F60AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1681513c172dbb920d10817a14a72d0b2ed4b474","datavalue":{"value":{"entity-type":"item","numeric-id":4003537,"id":"Q4003537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$906359B4-597A-4F94-9894-45F5D2169F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a45781083989c5d77dd7df70000c0b9e4039b10","datavalue":{"value":{"entity-type":"item","numeric-id":5687937,"id":"Q5687937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$59C0230B-04D6-418B-ADB9-FAB541CEBD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f9626ed7f6e57d4a487e9f5081d5aa4bea06fa","datavalue":{"value":{"entity-type":"item","numeric-id":1298352,"id":"Q1298352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$8006B27C-06E4-46E4-82C7-C904A686A0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef687e8fb93c99c91a2b2dffcf3536f0fa75f04f","datavalue":{"value":{"entity-type":"item","numeric-id":5394672,"id":"Q5394672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859844$69C9221A-2687-4DA0-91F4-E40ABDAC7FD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8caab481800b321bfff085a909bcdd70b800d95e","datavalue":{"value":"10.1016/J.TCS.2006.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859844$069B729F-BAA0-48A8-8081-D23354599E79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60fc305366934afa36c432ae17adda02122ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5700409,"id":"Q5700409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4704c071b0f2b7c7cf8b8bbe812c8a1e567ab2c","datavalue":{"value":{"amount":"+0.9174433350563048","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":"Q859844$F04EB6FB-503D-43F0-83D4-ADF7BC5A0B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481399bd436b12827821b09803f8b44a2e9b70a","datavalue":{"value":{"entity-type":"item","numeric-id":5394672,"id":"Q5394672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74963a2104a2749e71269fa7f88a3046fb36b8fb","datavalue":{"value":{"amount":"+0.8945704698562622","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":"Q859844$E9A22C6D-723B-4E68-AB21-5B6C08E31279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673eec19879f08636052e43d23dec321b61661d4","datavalue":{"value":{"entity-type":"item","numeric-id":5757949,"id":"Q5757949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ae1bf9bfdfd0d340de86c441f2ced773c62d70","datavalue":{"value":{"amount":"+0.8862901926040649","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":"Q859844$079CC6B9-5208-4C32-BCBA-578793793ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29fb7828ce92d29cb33fe5add7ea03df54520d18","datavalue":{"value":{"entity-type":"item","numeric-id":3406325,"id":"Q3406325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c099b7fecce666d3ed7b9290996f844d6d421896","datavalue":{"value":{"amount":"+0.8410879373550415","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":"Q859844$C738223F-3252-4EDA-8615-4928AD1BA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5838c7a502ae3042a7f02c1801892b36d12102f8","datavalue":{"value":{"entity-type":"item","numeric-id":621597,"id":"Q621597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0788e37ab19757f7d2ce4960d6374352e1f70601","datavalue":{"value":{"amount":"+0.8380928635597229","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":"Q859844$EFE2BB92-9497-48C6-AE88-710623EF58DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_fuzzy_reasoning_system_and_reasoning_mechanism_based_on_propositional_modal_logic"}}}}}