{"entities":{"Q2377060":{"pageid":2387803,"ns":120,"title":"Item:Q2377060","lastrevid":51760097,"modified":"2026-01-19T21:30:47Z","type":"item","id":"Q2377060","labels":{"en":{"language":"en","value":"The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182011"}},"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":"Q2377060$0D9398E0-90C4-4C36-BA47-A7314CFC41FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e72aa5db9a681a92d660f23c6733f5a37c79b020","datavalue":{"value":{"text":"The intimate relationship between the McNaughton and the Chinese remainder theorems for MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377060$A22FB247-EE31-4823-A914-3FEA122EA048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"491bc460e69a40c3f46af31e607704e72636d9ae","datavalue":{"value":"1298.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377060$12ED81FF-B921-4B6E-AF77-FD6CE64217FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4d4232c38865860290a7c0a5efe31615ce5656","datavalue":{"value":{"entity-type":"item","numeric-id":435207,"id":"Q435207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$D357C015-75AB-4F10-AE50-84694129CDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a70a4682ff36f9b0ecfa7912237f81d5b49fb0ca","datavalue":{"value":{"entity-type":"item","numeric-id":636341,"id":"Q636341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$7E67E925-823C-4BDC-AD22-9C0ECF82B659","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$B213142B-B5AB-4852-BF8E-5850A73847FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2377060$A4D6690D-7B44-492E-8E60-FCF8E510A92D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1478a53aeaf823e74cf8b64149c54a5186e052e4","datavalue":{"value":"In this paper the authors find a link between the McNaughton theorem and the Chinese remainder theorem for MV-algebras. More precisely, using elementary tools, it is proved that the McNaughton theorem can be obtained as corollary of the Chinese remainder theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377060$E0D471BF-5D9F-4BA4-85DB-9419D309007E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24b8142e1434bb714ac410670c5d4b064c06e901","datavalue":{"value":{"entity-type":"item","numeric-id":266867,"id":"Q266867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$C10627D8-8E72-44AD-9CA4-7F676DF4B9E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377060$9DAF9E58-97B4-47C3-B81D-BE08C1C8CDC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac787f65d1a379155c9d2de052e5b92ad043ab12","datavalue":{"value":"6182011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377060$D6E97C21-B828-446C-B7FA-BA05B0E99B78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377060$5F3202A8-ED57-45EA-9FD1-0B002EEE7995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4811ab059dac7cd621623993b69c6d4fb001171e","datavalue":{"value":"McNaughton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377060$AC19508F-0E47-403C-80AE-3C9642176186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf2159b83c1cb1978a8a55c136391b653478ee6","datavalue":{"value":"Chinese remainder theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377060$68EC5CE2-A05C-40FE-ABD4-97D4A2C8E5EB","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":"Q2377060$8083A87B-7230-442F-9054-ED85F254E316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd76f2040a6379902721a6858061c32025752a8e","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9368-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377060$57FE42F6-A76A-4D95-8FE4-9FB352B9615A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42c1f31beac5c430534b18134e69270fb1bc194f","datavalue":{"value":"W2088482719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377060$E233B818-2D26-4403-A9DB-46B67EEE6164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$6693B148-E004-46E4-B97B-2A75262A4454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a741382b758a41c0f0aa90b3a5b4c51651dd94","datavalue":{"value":{"entity-type":"item","numeric-id":3077400,"id":"Q3077400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377060$A7DCC79C-3A2A-43E7-825C-1B143A66F5A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"984431972deffb2fc7c7609f25d57ff6dad028ac","datavalue":{"value":"10.1007/S11225-011-9368-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377060$929BC5DB-97DC-4324-B8A1-EB4A5501469A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6033952538eb9e7197ccc6b05fdace23ce86e46c","datavalue":{"value":{"entity-type":"item","numeric-id":3454728,"id":"Q3454728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb3d15ccd5da9945a9d80d1badaebe9eabcfb79","datavalue":{"value":{"amount":"+0.7906996011734009","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":"Q2377060$1A20190D-1390-4016-8391-A8DCD4BEBFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb1549ceb2ba97cf51653bf37a97841694a0d41","datavalue":{"value":{"entity-type":"item","numeric-id":976751,"id":"Q976751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e49b15656f176339129e6c14b8baeac808da41f","datavalue":{"value":{"amount":"+0.7712663412094116","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":"Q2377060$6DFC3176-558D-4226-B015-E1A7252E65DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a8c0a47897f98f09e639552b3afa5475bc7849","datavalue":{"value":{"entity-type":"item","numeric-id":4656547,"id":"Q4656547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3468db4abc2387b5fcb203c31244b3b71ee9ae73","datavalue":{"value":{"amount":"+0.7452288269996643","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":"Q2377060$2CD94CCA-895B-4AEB-8AF8-3008807D9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f3c2c7dd8272b63d6cbc93a5a06f032760de67","datavalue":{"value":{"entity-type":"item","numeric-id":4347372,"id":"Q4347372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bcf99c59b5d363a3d591c3bbbf9f265c387b5d0","datavalue":{"value":{"amount":"+0.7405043244361877","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":"Q2377060$6DD6E9E1-4409-47FA-B1A1-C0DDB57B9A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e61cf3c8249a88e322a5356abfc603e916aeb42","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54cef6938e2a9939dee24837bc3152bd6645373","datavalue":{"value":{"amount":"+0.7392117977142334","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":"Q2377060$DCB47C64-28B3-43BE-8029-2F40BB095903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2377060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2377060"}}}}}