{"entities":{"Q5176545":{"pageid":7206117,"ns":120,"title":"Item:Q5176545","lastrevid":58464480,"modified":"2026-04-05T08:19:13Z","type":"item","id":"Q5176545","labels":{"en":{"language":"en","value":"Bi-modal G\u00f6del logic over \\([0,1]\\)-valued Kripke frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6408989"}},"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":"Q5176545$2480C857-EE78-4E56-B37A-FC761EB77178","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f32dd5969bd8a3ddbb3e8f3ea3e5781146c4ea2","datavalue":{"value":{"text":"Bi-modal Godel logic over [0,1]-valued Kripke frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176545$333CEEC4-B007-4FEA-B696-9B0E7985DC93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce0e951c131c81e492cbfd7c1665e2819a6d750","datavalue":{"value":"1371.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$8C0B2FCA-941D-4751-A60B-C3213657A03A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba5fea770f53a4430e6cf9e42db7e9527e8313a","datavalue":{"value":{"entity-type":"item","numeric-id":810006,"id":"Q810006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176545$36F9C850-BF6B-4904-AA06-514D2737C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2880a57423a89c8ca95583376a053981c38d8460","datavalue":{"value":{"entity-type":"item","numeric-id":1601883,"id":"Q1601883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176545$E1E47FBD-8F96-4AF9-B45E-DDDD7518B0EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea42cfffdc8c5bdda1d795734ee3c6ac8ef700c","datavalue":{"value":{"time":"+2015-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176545$77563BA0-247A-4496-B9AA-60FCDD17F730","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e384a8aa9703938903db75f6ca93f6b864b6486","datavalue":{"value":"https://arxiv.org/abs/1110.2407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176545$9DCBBF68-EC9D-4E0C-B747-396CFB007B1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$D394BC5F-AD48-4FD6-8499-10DCE4F67AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$46F8F82A-5BDB-4664-9F86-B03BED9B5D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d6d01ddc883f277c95ab95600efc60421edee00","datavalue":{"value":"6408989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$D84673B2-D78B-4CA2-8A1E-0DF1F34D89D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$11E36DF9-8C4E-44F5-835E-FAACA4712082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$A505F225-E9BF-4890-9D8A-EC5FBC52E860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$C7672628-7BE9-46C1-9B2A-CA8FFCDBC1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$AD9C2D9E-0516-4F16-825B-044389AF9CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$19062FEB-827A-4F98-984D-BCD4126F017D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176545$9C5C0B43-41E3-47F5-9027-143EA97FD9E1","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":"Q5176545$429319B3-E6F6-400C-A40A-A368290208D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcae34f17828cc8596698c803518d7f6dcb12de1","datavalue":{"value":"W2169921622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$76106CCE-0DFE-438A-82D0-508B8C9F4B95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59355c7ad60cf32ffa53e9a74d18322a207f6fa4","datavalue":{"value":"10.1093/LOGCOM/EXS036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176545$DA01470E-129B-47E7-9086-E612EBBF317A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176545$A421BC1F-531D-4060-A324-0B44BBF53028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7161d4c2bf49c74ed9a8636ae8723b14e4ee5f","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a05706efeb856c465523203c4c712819e701d7","datavalue":{"value":{"amount":"+0.8516550660133362","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":"Q5176545$6F1FF807-E276-459D-A46B-1E70ADC094B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a14052a19efd743656bba3a488d8c074258bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2157603,"id":"Q2157603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcd7308c0e9332fa7dad741b9672ff38f4c12b5","datavalue":{"value":{"amount":"+0.8086948394775391","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":"Q5176545$4D45898B-044E-45AD-87B6-7CD0B452FA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fa78c4bac4d0069af58c94a01d3882dce3467","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b955d01546a2f946615aba4dbce3d48dfbf3fe09","datavalue":{"value":{"amount":"+0.8004924654960632","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":"Q5176545$4843270D-6D36-4FC6-B5E4-632271B52B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61566c20f0bceb2730e6a094012523583c374b48","datavalue":{"value":{"entity-type":"item","numeric-id":1797765,"id":"Q1797765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bb6afa447c12c0f20c808f100ebd634efc4f0c","datavalue":{"value":{"amount":"+0.7964975237846375","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":"Q5176545$EBBC8072-DD11-4598-A530-2E313E32F27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9df1b6b408ab34c7c301d92aa8c3ace0bbe9d6","datavalue":{"value":{"amount":"+0.7909736037254333","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":"Q5176545$10CF5147-B8DF-45C1-B212-602BDD50E9CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176545"}}}}}