{"entities":{"Q843613":{"pageid":845461,"ns":120,"title":"Item:Q843613","lastrevid":64759143,"modified":"2026-04-11T22:01:51Z","type":"item","id":"Q843613","labels":{"en":{"language":"en","value":"Logical equations in monadic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659088"}},"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":"Q843613$55505568-9D96-4337-A280-32A75AA3F81F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbe6a0f43d7b050a12f83d7008f996157151a55","datavalue":{"value":{"text":"Logical equations in monadic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843613$D32DBA2E-9A74-4C8A-9D09-7E94A7BA54A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"134b634f59f0b184de0f81bd79bb5c3d5a4ab4d4","datavalue":{"value":"1190.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$2F464E44-9D76-4328-A4CA-CF4E84BDE40B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$CD861A72-F536-4E31-BB65-B03B9A6B97D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$E3DF94E5-A779-4400-836C-8EFE780CE882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843613$52E5A2D1-B8A7-41D2-8A59-47A5E851FE24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a805bf30e43fc9067394b297317bd8620fb78bb","datavalue":{"value":"The authors regard a formula of logic, \\(F(\\mathbf{X,P})\\), as an equation with unknowns \\(\\mathbf X\\) and parameters \\(\\mathbf P\\). Then, two questions arise naturally: under what conditions is it solvable, and what is the most general solution. [An example the authors list explains the situation. Let \\(F(\\mathbf {X,P})\\) be \\(\\forall x({\\mathbf P}x\\to {\\mathbf X}x)\\&({\\mathbf X}x\\to {\\mathbf Q}x)\\). Then the solvability condition is \\(\\forall x({\\mathbf P}x\\to {\\mathbf Q}x)\\), and the general solution is \\({\\mathbf P}x\\lor({\\mathbf Q}x\\& {\\mathbf Y}x)\\) with a fresh variable \\(\\mathbf Y\\).] The authors answer these questions completely for monadic first-order formulas with equality, MFO. Based on the familiar procedure of quantifier elimination for MFO, they put the given formula in a special normal form that indicates how many elements there are in what classes. From this form and using \\(\\varepsilon\\)-terms as witness constants, they give the solution in a detailed and easy manner.","type":"string"},"datatype":"string"},"type":"statement","id":"Q843613$AE5BE6AD-C825-4CEC-929A-42A495BF47CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$D999BDAA-000E-47D7-9652-FFED3E8780B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$88710ACA-89EA-4667-A510-668F7AB94745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c8f3184d9ec0407f6bc7880e907ed24212bfdc2","datavalue":{"value":"5659088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$66F68FCD-4C96-4721-B0C0-42B45E96E6C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534a4cdb125041d9c6f6c58479e2a9484fa1b00c","datavalue":{"value":"monadic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q843613$E09F0213-44C7-400A-9AFF-8A925459805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q843613$83AFD1E5-33CD-4BDF-AD21-1B1F0435BD9A","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":"Q843613$75681178-E98B-4970-AD3A-807A024449D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a279a5708d5731edd51aed51cd33b63cd76d94b","datavalue":{"value":"https://doi.org/10.1007/s10958-009-9400-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q843613$44280DA6-7CDA-4BB5-9769-321B4FA0B89D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e66f65ebba280d605f576ba4a815b43f2c92081","datavalue":{"value":"W2047303415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$330E89E9-0E32-492D-8B74-3BA58D3735DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$D7FDE003-E114-46E8-95DB-852C856C7409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$F041DF4C-7814-470E-9413-505844FE4F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$5F0EB009-D505-4175-8247-7E41325EE226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7263658004d8cbfea71071d0f359c6b2a137b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4756727,"id":"Q4756727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$0FCB6B5E-2DBB-453E-A062-A02F90641DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843613$DBB7EC18-319C-4F3C-BEB0-E6DB4072243E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92d835ada775b260bcf9eb7be05d121ad8c8536f","datavalue":{"value":"10.1007/S10958-009-9400-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843613$F03B5FEE-2652-46AD-8AAA-E2C6CFC9FB2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4cb46d73cf35705e64fc684e2f33ce25ac6213","datavalue":{"value":{"entity-type":"item","numeric-id":674268,"id":"Q674268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c902e63c39fd9b2fb52a6219f1c6b662ab021257","datavalue":{"value":{"amount":"+0.9156531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$26270230-2410-404C-ADF2-D131D352A539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3639b2965d16e020aa6299f37609bcf19803df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4993769,"id":"Q4993769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec0eb3df122f1b78cbf6f2b354c3c58b3ec633d","datavalue":{"value":{"amount":"+0.9154102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$86EF8904-D927-46FF-9AED-31057DEB51FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b556429d4afe57abf1042c709fd1ef7d1173ed","datavalue":{"value":{"entity-type":"item","numeric-id":5096377,"id":"Q5096377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58141966abff03b91b1a29c7b398479421e9cd3","datavalue":{"value":{"amount":"+0.90991336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$163B548B-8FE8-4EF9-902F-A6B43F9359FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7413a9ede3ca04e9f52a6be50c4aa5213f76b","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dadb2fb12c4578bb6b0875d7a139654dbfaf0c","datavalue":{"value":{"amount":"+0.9048842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$7E0BBE85-C141-4B9B-8C39-1EB74D37447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3440cd2d08643694d8fd5247eafa23afe82017c","datavalue":{"value":{"entity-type":"item","numeric-id":4236057,"id":"Q4236057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ea78264d19d82faf0287badf02482f1601061c","datavalue":{"value":{"amount":"+0.9041285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$2007D6B8-38BA-4804-80D3-F3561BCAB0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ea78264d19d82faf0287badf02482f1601061c","datavalue":{"value":{"amount":"+0.9041285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$BFD6BD62-8680-4FDD-887E-2CDB74A523EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07db2a74cefbb08bf679fb8b9b66a33c4de83866","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95497ebe12c75c788f36e3c434de3f526b3c3432","datavalue":{"value":{"amount":"+0.9033972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$90F5B930-29ED-4954-AEBD-DC4F5486733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0490f062a5088d41f2f522347c11055c8fe872","datavalue":{"value":{"entity-type":"item","numeric-id":1344840,"id":"Q1344840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35adcd0f3076450c2469342bfc10e34ffb77b1d7","datavalue":{"value":{"amount":"+0.9028646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$713C656C-09B0-4E21-ABFE-36CD58F0A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db472787c80b5200ade7958517ce79ccc237124","datavalue":{"value":{"amount":"+0.8950995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$D5F13BAA-B715-4E19-871C-FE7323943885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ed69f708aa7daae2310e280f402a9818f649e","datavalue":{"value":{"entity-type":"item","numeric-id":4206708,"id":"Q4206708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8b3eb02fd6012225e4838f35543a547e7b936a","datavalue":{"value":{"amount":"+0.89474696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q843613$DC759761-4F6B-432B-AF84-D19A57FC61E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical equations in monadic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_equations_in_monadic_logic"}}}}}