{"entities":{"Q3643261":{"pageid":5673167,"ns":120,"title":"Item:Q3643261","lastrevid":58223880,"modified":"2026-04-04T07:29:20Z","type":"item","id":"Q3643261","labels":{"en":{"language":"en","value":"Propositional mixed logic: its syntax and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629248"}},"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":"Q3643261$CB46D9FD-798D-4401-99D8-39A08FBDA31D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f8a0b279ed48e29ddddf078c310de3d2f6e0141","datavalue":{"value":{"text":"Propositional mixed logic: its syntax and semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643261$C71CC0E0-A3B5-43BE-B1E7-2E423F2A6AB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8ff5b2f97b54c660caefc31bc9b7807b1c7e673","datavalue":{"value":"1181.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$179710EA-2700-45CF-89CF-16CB5F98CF92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643261$90C06568-EBD9-4673-938E-2114FDCF984F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-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":"Q3643261$529E691B-4E16-4538-B233-26205CCAB7F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cf7fd8b98f4d4cf49318a57ff3c31d9f1ac2fc9","datavalue":{"value":"https://arxiv.org/abs/0905.0369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643261$33A6707A-BF53-4535-B417-31879A10902E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$64A3D2C9-CC90-43F3-87FF-067AECEBBDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$230ED680-AFBE-47B6-8D19-478A5D635385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$F3B0695D-68E6-4ABC-885E-D647B74E5D7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbd3775fb8601376031ecda64d3673fcca13aea1","datavalue":{"value":"5629248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$CFAA5642-90A8-4A93-ACA2-BBE1EB30EFCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$5B2DCFB0-7CDA-45F9-AC6E-E78C8B7AD5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$5485BB18-1CC4-437A-8753-79A98C85760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$FD81FD22-CA58-4DAA-AD35-85C7C299184B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$F5FCD885-C20D-42CB-90C5-32C12D0D264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b076cb3621e5fa097c12ccc966c124d6f20fd679","datavalue":{"value":"mixed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$5A7A1637-6E0F-42C1-AD66-A0FF0070F89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$A9E05EAF-FC51-4F14-A0EA-E4873F23BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643261$FA99CA1D-5FF9-4909-8DAE-2C85D2A404E9","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":"Q3643261$09F24AF3-6D07-4D87-96EC-010745A36D66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8c599502034b3f7f737ac26866a16e22b40a953","datavalue":{"value":"W2055558461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$37288FF2-D79A-4DF0-BAF8-95D799D60501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643261$C596492C-E9E2-44A5-BCE5-9975F2FA98AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accd841049d6141a29dc0f203781fb03555bee48","datavalue":{"value":{"entity-type":"item","numeric-id":1570018,"id":"Q1570018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643261$6285B8D1-6FE1-48F9-9DEF-D03BE9DBCD32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6552f527ab03fac1aebf1132c002b12442651a2","datavalue":{"value":"10.3166/JANCL.13.377-390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643261$1F899F9B-8D23-40F4-A6A5-9FB0156276CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778ffcec5bb172f72e1b97df25978902234d96d8","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3017cb236ef4eacf6d9fd8cc015db1920d9afe7b","datavalue":{"value":{"amount":"+0.7783344984054565","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":"Q3643261$2477DD9A-5EB4-4618-8A90-038A3E640675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d71cf2f0b78bc3067a4caee2dd294bb5d20b13b","datavalue":{"value":{"entity-type":"item","numeric-id":5013619,"id":"Q5013619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06530dc5b3539ef957380a957a5f680067a54e3f","datavalue":{"value":{"amount":"+0.7551202178001404","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":"Q3643261$A397D757-7760-414F-A2FA-5AC4A74DDDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f795a9ef5ad750ffb8b9decde22c41234628","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953a6006603ce5a4a5de1a1eb5776d4459cff56b","datavalue":{"value":{"amount":"+0.7506657242774963","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":"Q3643261$853F8E3C-9D4D-4CE6-BAEF-607C63E9276D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b053e5a8e21ea5a0b7e860fdedfebafea004bf53","datavalue":{"value":{"entity-type":"item","numeric-id":3346288,"id":"Q3346288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081d138780ee40aa033baf63a15b1bba275ad246","datavalue":{"value":{"amount":"+0.7491912841796875","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":"Q3643261$37264A2B-D2A5-41EC-A622-8A8665CBF7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbda38b3b8a7930ccf50d9d76e4d6532f3f7ee4","datavalue":{"value":{"entity-type":"item","numeric-id":3224048,"id":"Q3224048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5dfd2a6e583fada1dce146c2beea83c0920516","datavalue":{"value":{"amount":"+0.7474687695503235","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":"Q3643261$C37BEA95-7073-46B8-BD78-A50CF0B02F3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643261"}}}}}