{"entities":{"Q5938761":{"pageid":8115563,"ns":120,"title":"Item:Q5938761","lastrevid":93450971,"modified":"2026-06-05T04:25:13Z","type":"item","id":"Q5938761","labels":{"en":{"language":"en","value":"A synthesis of fuzzy rule-based system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1630342"}},"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":"Q5938761$B1EB2051-93A4-4EF0-8C8E-091B6EF7FFCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a18874baf5fce8d6f57d9699353f65f4ccf1e1e8","datavalue":{"value":{"text":"A synthesis of fuzzy rule-based system verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5938761$42731043-4941-4827-A7A1-02A7229E0FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bed234900e4c3d8ee16fc1c6db57221f195b5ae0","datavalue":{"value":"0970.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$D6569468-B139-41AF-8276-09535C09A562","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"febd571b364ec434517bff2607eb544af0c261cc","datavalue":{"value":"10.1016/S0165-0114(98)00426-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$D0B59E46-68C6-42B7-B0B5-841A9C9429CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a08beeee4eaf013f533735f0116ad8b092e80d","datavalue":{"value":{"entity-type":"item","numeric-id":703088,"id":"Q703088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$2449463A-F44C-4C36-B7A3-1ACA1618151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54c861b4318f643c046671814bef6bac0bc7fbff","datavalue":{"value":{"entity-type":"item","numeric-id":300333,"id":"Q300333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$AD3EA9E7-8862-476E-9827-300E07D602A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7236a2df19a4e76ae572a66a69524a36fe2e7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":703089,"id":"Q703089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$058212C1-7473-4304-85AC-3E940327F058","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$2E9D7FAE-5928-417F-B0ED-421279B8287C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5938761$EC0248D0-E33D-42C7-968A-90EF437DEFE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$5E282B87-7DF7-4BE5-BBBA-F7AD52B25216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$49CB487D-C5EB-43C4-A91E-F47D000FD47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$99CA308B-8465-4397-BA59-1082B7B473F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92276caf2829a069a51e4b65717147b1ce903ec","datavalue":{"value":"1630342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$0C83CA62-B283-4F95-B2C2-AE1B0255CBE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938761$1A218465-4455-4BDE-B517-075D2F3DFF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938761$F21753A3-6950-4A4D-AEF3-0AEFE1D6DEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938761$A7B78B57-C839-4615-8384-AEFF70EF08FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadbbce4d6212535f94d23b11a1e613d10da08db","datavalue":{"value":"knowledge-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938761$1BDD786A-B252-4C33-9C74-D6107C91F003","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":"Q5938761$CAA03155-B28F-45FD-A872-AFAAF1F40DC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf7e5c7d03504edd10b95f6e63ce402d34f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":1145129,"id":"Q1145129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$C28D2C7B-0C24-4F67-84CB-ECC696A36F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478f1b788d9d4e0a48189a15a17d4046a04236b7","datavalue":{"value":{"entity-type":"item","numeric-id":2641291,"id":"Q2641291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$0986E974-E79F-4766-A236-CE8D1163D36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f538ba0fecdbebebecc36fd8492063dfd2af2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":1266749,"id":"Q1266749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$55F626C7-70F5-4B2E-8A1F-0DBB7AD67FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a280bdb0042a62db9b6019825f6b50aa15682a","datavalue":{"value":{"entity-type":"item","numeric-id":4009411,"id":"Q4009411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$059C728D-E07B-4D43-A9A7-8FCAAE4B3CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a3db6924b41c1adc19cc00e027cbc47f99791e","datavalue":{"value":{"entity-type":"item","numeric-id":3985989,"id":"Q3985989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$325DEC91-9D6B-4C9D-8843-6E2F168A195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$51752617-AC47-41CA-BB74-5C0596F6C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938761$3BEB2DA9-E256-4131-BB14-5323C9D6D314","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ffe2bda07e469f7b61c539fb815f947972a1b5f","datavalue":{"value":"Q127489007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938761$03E5CD82-D395-4280-A3BB-BA26F07AB269","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f5af15d34e527537be89d006862b9d8bf2ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":4361486,"id":"Q4361486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06f9e09d7f496e84b73328df09e800784f9f30c","datavalue":{"value":{"amount":"+0.7792008519172668","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":"Q5938761$30A60861-3D63-4CAD-895F-0C3FF618D9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b9f1965ee0f7271c3e94a8ba82f24afe287553","datavalue":{"value":{"entity-type":"item","numeric-id":4339055,"id":"Q4339055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae91b4aaa2674602f409b3912c247ce81ec2c738","datavalue":{"value":{"amount":"+0.7792006731033325","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":"Q5938761$A7F6F6D4-FE51-4C7C-A7B8-303078FC88B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6ccf75d6cdf797cba9c3d49b689cb4a08dc5b4","datavalue":{"value":{"entity-type":"item","numeric-id":4250962,"id":"Q4250962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ea9adcf66c24ae3ca254a2a424d00032a8285c","datavalue":{"value":{"amount":"+0.7777641415596008","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":"Q5938761$900CA5A8-6745-46C7-B72F-55D2336EE08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5b155b50fca525c5455110ec52dfa81aa8b12f","datavalue":{"value":{"entity-type":"item","numeric-id":1915279,"id":"Q1915279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9611a9f168e18e5ebdfd103f6e2d54a959cbee","datavalue":{"value":{"amount":"+0.745241105556488","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":"Q5938761$D809DCD1-2931-4D1A-BE46-26A5E5AB585B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6e10bfb921ac2933c92dbf750ae0789aa59bf5","datavalue":{"value":{"entity-type":"item","numeric-id":733569,"id":"Q733569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb382c0fcdf1c30384b936eb6fe06e00d066ff3","datavalue":{"value":{"amount":"+0.7433270812034607","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":"Q5938761$D488A4CA-41B0-4821-844E-F76AE41277B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A synthesis of fuzzy rule-based system verification","badges":[]}}}}}