{"entities":{"Q3469083":{"pageid":5257777,"ns":120,"title":"Item:Q3469083","lastrevid":49354261,"modified":"2026-01-07T00:37:36Z","type":"item","id":"Q3469083","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135914"}},"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":"Q3469083$E965374C-B348-46B8-B4EE-D17CEA113722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6cc218a56e492bf2ff03b1aec971d13182ec5f","datavalue":{"value":"0694.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469083$2F2CD9DD-B5F3-4E0C-BC25-80EE24DEF975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"654a6d26c3970b2401c07b4a8e54bedf870f8ac1","datavalue":{"value":{"entity-type":"item","numeric-id":583190,"id":"Q583190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3469083$C7636D5F-EA7E-42A2-9B35-FB1E26CDBB98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3469083$FE42A3BF-45A1-4E0F-852B-6C94171E91CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469083$2FDA8599-3BEF-4B27-B66A-264E1DA52358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469083$19931B60-08BF-41FF-8CB4-165EEB6BF43F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6363bfb5f22daff344e267d668d21671ffad9302","datavalue":{"value":"4135914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3469083$2F286500-999E-4784-ACDF-181FA4DF1827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$640C2BA8-34EC-431E-B475-F060E4104C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$C4F521B7-87CC-4E38-AF34-8A38EF0B9384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"723f3a2dca04d92873e77667a1cc4eea957f5192","datavalue":{"value":"modal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$4E2489A5-057A-438E-BA4B-897C8057A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d7be45d3d35cad846af867357295817ab427f1","datavalue":{"value":"Heyting intuitionistic logic IC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$E671BFB5-B419-4489-9406-BAB4F4E2F30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd00c8093210656390d03fa145650830b7a206d5","datavalue":{"value":"positive logic PC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$3795D6C3-B766-4654-B0B3-D2735BF3F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b24b82ef38af35a14eed292979ae2c294eeb97c","datavalue":{"value":"Johanson minimal logic MC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$87A76A06-3719-4108-93E4-D58997ACD4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109217b3a42a1b37ded2333610146ef928725d20","datavalue":{"value":"positive logic with semi-negation NC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$C674E887-EB7A-47AE-AF68-824A4CB010AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0443505ce5dba78f4fd979a2e6809dc21dd67c","datavalue":{"value":"number of modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3469083$C89CF25D-02EE-446C-99FD-3FD59EA46AD5","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":"Q3469083$E8C832D4-F60F-49FD-9A9E-C75329C618AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a59fd53ee518cf6fa23036990f6d6b67b8eadb","datavalue":{"value":{"entity-type":"item","numeric-id":4704648,"id":"Q4704648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f421c5f3cb7e2e4473265cb2416319c76a4d063","datavalue":{"value":{"amount":"+0.7922815680503845","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":"Q3469083$56C507D0-839E-43ED-8132-FB57ABD3AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c359f5f21afd848cf5e35d9cb30b54b9a1cee59","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f024b0493877f324f7bd7d15cca40dcdcedab00b","datavalue":{"value":{"amount":"+0.7914630770683289","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":"Q3469083$2BE8CDE8-5EF0-4AC7-BD69-BBCCC2B89B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54ae6cfa330b392dde5e8137f2f22dbb980bd30","datavalue":{"value":{"entity-type":"item","numeric-id":4703137,"id":"Q4703137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ef226f584affb47d719462a225b35b7ff262fd","datavalue":{"value":{"amount":"+0.7841789722442627","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":"Q3469083$36823C35-40C6-48E4-8AFE-8BC3F7F2C3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001ff6a512358631acaef7f2c6404a28fe4ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4329235,"id":"Q4329235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3118f0b39c2be3db76a27cf889e5d686777eb4a9","datavalue":{"value":{"amount":"+0.7769805192947388","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":"Q3469083$67EB3A3D-CB94-4BDD-B661-237CE343B2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2d024580b2e28696b16f8a07d4265194e4fdbc","datavalue":{"value":{"amount":"+0.775377094745636","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":"Q3469083$FF2F8C10-9F0C-47C6-B993-B471B381B23C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3469083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3469083"}}}}}