{"entities":{"Q694210":{"pageid":696059,"ns":120,"title":"Item:Q694210","lastrevid":63569403,"modified":"2026-04-11T14:03:17Z","type":"item","id":"Q694210","labels":{"en":{"language":"en","value":"Generalized Kripke semantics for Nelson's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115004"}},"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":"Q694210$5B0CEEF7-7388-4EDB-BD8F-15DF201E3F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9cae52d3465dfafb063dff15d7fd27e3b815f8d","datavalue":{"value":{"text":"Generalized Kripke semantics for Nelson's logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694210$756EB599-61E4-41A1-A84C-7AAAAB7E018B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15d9a19c3e4af6ccb6b1014550fb317225f3976f","datavalue":{"value":"1272.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694210$0C901749-DAA0-4233-B158-C7B6ADE5230F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b3cc6e61d3de1da473a5beba1f7f7e82a04aec","datavalue":{"value":{"entity-type":"item","numeric-id":454380,"id":"Q454380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$B8B9DCB9-66E7-4F1F-BF1B-4E5380C54139","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$2EB700CB-D074-4333-BD29-FD86197629DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaff6a94ac821c6dcde7cb7d6a059bb2e8edd01d","datavalue":{"value":{"time":"+2012-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q694210$8DB1EAC9-412B-477E-8626-EAC93327C945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694210$9411FA82-BC4F-4C72-BCAB-0C153CC05BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d145192bb3d48fbf910a6761740af18fe0cbd16","datavalue":{"value":"6115004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694210$CD619CD3-18AA-4BD9-853F-36F7A8B023F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fbc8d376752aca8f9757d6b980e752562b3f485","datavalue":{"value":"Nelson logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q694210$DA882107-955C-4CC0-8832-7C921962DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q694210$C1D98E77-BF5F-4423-94E8-A71A99D340F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q694210$C17721A6-522D-4259-8DDD-29F1C56D5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a03cc5f331f09763f4fedb3aa51f767306b06a","datavalue":{"value":"generalized frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q694210$DF4992E9-5064-48E0-8068-CB186CF5C1F5","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":"Q694210$4EC1DAA6-5799-4F48-82CB-3EC0D1D122F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5a30f167a8dc14c847cf98cf6f7420b1ca5d536","datavalue":{"value":"https://doi.org/10.1007/s10469-010-9107-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q694210$50B61E82-4B9A-4B67-ABA9-3259457F8F73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23599a4c3cfd18f09f31b605d28f40f4d8e3a65a","datavalue":{"value":"W2084255366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694210$E5B3E3C7-8F5E-45A3-802D-6365247BABEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ea3962aaf518aa52b6dd02244e9ed30dc74af4","datavalue":{"value":{"entity-type":"item","numeric-id":3260563,"id":"Q3260563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$98800D88-2D5A-4883-AB5E-25865F6BF46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f9deaac16cbc4472d399243672e85c54608853","datavalue":{"value":{"entity-type":"item","numeric-id":4434609,"id":"Q4434609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$951EA850-1695-4273-AE31-843DC34DCFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd457bfaf9a2b27a0158690ce20c86a8ea07c537","datavalue":{"value":{"entity-type":"item","numeric-id":813085,"id":"Q813085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$4DB0B2CE-F4DC-478F-9B5B-2899B7D80B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$3827CC14-7AB4-4EBC-8A4C-637D2D3F5D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4ee6aac608fa2149f1c5b993a8f29a233f8243","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$CAABBB47-02D7-43CB-8665-B25379FAB208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c67d9dc3e20fb25adec3a29f08c0a14b3163df3","datavalue":{"value":{"entity-type":"item","numeric-id":1386683,"id":"Q1386683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$4AB11B43-D593-4770-B309-51D50199F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694210$37DA4536-4B15-47A4-84B5-63463E93CCF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ca48f15bdac5fcb8d1995ab64d0d7df082169d9","datavalue":{"value":"10.1007/S10469-010-9107-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694210$A4ECC1F4-991E-4B4C-8C5F-6DF8E7F767E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f516c9d12d33137f341c89a5a2dcb26c2d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ae50c57cb6a19078123f8c1e8f38c726ae0949","datavalue":{"value":{"amount":"+0.7979921698570251","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":"Q694210$ABA83032-80FB-4B75-B0E0-4759857E354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49cf6341a802b28ef516ec439b3ec796b96e735e","datavalue":{"value":{"entity-type":"item","numeric-id":4465165,"id":"Q4465165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa04fb1a9e4312986a01cdb2ead10457803b3ea","datavalue":{"value":{"amount":"+0.7605989575386047","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":"Q694210$4FABF2CC-8460-4EDC-9F0E-D2413247EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99dad61b15af0c168ae0096f59d86c705459fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4434609,"id":"Q4434609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afe4d3783ff0ec8380fb4ac54300c8d5fd82336","datavalue":{"value":{"amount":"+0.7470719218254089","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":"Q694210$D2F7F722-3EC8-4228-B85A-2B740F0B8459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c7b8adbca0d83722bdce0f41b61e57a204872","datavalue":{"value":{"entity-type":"item","numeric-id":4834486,"id":"Q4834486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf452474a577ef7945a5467c0757beaefb2a586","datavalue":{"value":{"amount":"+0.7465000748634338","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":"Q694210$934D2D34-F5D4-423A-8C64-C1D9A06418C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf19ad00cac4b473bcbc0cc6e6fb4b98c4c869ef","datavalue":{"value":{"entity-type":"item","numeric-id":1386683,"id":"Q1386683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4561fcecc26aa8989df70b313baec50b83ff7c3","datavalue":{"value":{"amount":"+0.7464997172355652","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":"Q694210$BCFDE2A8-9859-434B-9ECC-F99CEB9DBD80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Kripke semantics for Nelson's logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Kripke_semantics_for_Nelson%27s_logic"}}}}}