{"entities":{"Q3586024":{"pageid":5615928,"ns":120,"title":"Item:Q3586024","lastrevid":51070736,"modified":"2026-01-16T12:19:06Z","type":"item","id":"Q3586024","labels":{"en":{"language":"en","value":"On monadic theories of monadic predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779226"}},"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":"Q3586024$63F1282C-A52E-49BB-BA48-A00E4739651C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0afb70d289f3d5330d37f9897d1569d1793a1685","datavalue":{"value":{"text":"On Monadic Theories of Monadic Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586024$C37CF2E4-8EF3-4738-8CBE-D7C896E7995A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d532d28309d3256fca06fed18b76f033e033889","datavalue":{"value":"1287.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$B4B1B610-578E-4602-AB71-8805DA135772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71910259040879d360469c59f4943aa435277b0f","datavalue":{"value":"10.1007/978-3-642-15025-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$13F45FA5-30FC-4942-9AB6-C75813FD6AAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$9E8441AA-D9B1-4C9F-AB28-BA982DAB597B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$A37BE8B7-AC05-4D07-BFA8-8539DDE7C8AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586024$6814B890-3563-447D-B839-3A0F275D3F83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$F741585C-0BC2-488D-B174-4AF9CE22F899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$D5452A5B-F236-487B-BDFF-0419B4C94989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$46769EF8-E055-4627-8C63-074FF2EE0866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$98D31AAD-C76C-4486-9E40-5945689AC096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$8E8049D6-CBA7-4E85-95D4-877F6AAFA6E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6a0416beee0130502719bdf126e2b416f0f53ec","datavalue":{"value":"5779226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$2079D0A4-E247-460C-91FB-B49B2B13D8EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586024$CF92D2BA-DCE0-4FA1-BACA-C732D0E52AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586024$96204FD7-AF3F-40A2-91DA-DADC172402FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586024$8D744613-4F1F-4AB9-9D50-080B416A0805","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":"Q3586024$2FB6DB64-5EAE-4F67-AD38-78155EBF09D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fee58c41c94ab27b1d4a0233db94de5b6d7ce6ec","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586024$9610CDB0-A694-43CA-95C4-B74C58585737","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ff1307290b9113865312f03b9d427cbfdab41f6","datavalue":{"value":"W1510368107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586024$D4CDB277-2EFE-4ED1-ABA7-A7C6650AACF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a50d451850ba0d9335f2c6e0530fcb392ac772","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$F16B91B1-5258-431A-AB24-B64768923E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$C1B98C24-C4F4-44E5-AD75-0A29C7232654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5d1a78a8dd9095d53b8a39c1445c835e906c59","datavalue":{"value":{"entity-type":"item","numeric-id":5609381,"id":"Q5609381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$6CDE01ED-A035-4B3D-BB09-FBEC92EC1891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e5a4c6ce243893a1284ad417b214ae378137b2","datavalue":{"value":{"entity-type":"item","numeric-id":3138021,"id":"Q3138021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$FD6BE183-30A8-4260-8C96-752D92F60037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53be89a612099d77e16da5d46ee3cbff4f7fb55","datavalue":{"value":{"entity-type":"item","numeric-id":3608411,"id":"Q3608411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$99E8C9FD-5B5B-4DD2-9288-EC39CAFCCED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f059acd9d0e8161e1b302ef1672f6ccd745cfe","datavalue":{"value":{"entity-type":"item","numeric-id":607442,"id":"Q607442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$DD1BE97E-2938-43B4-B287-A258C1C88B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612f7392d0497babaf5ce5e0add442ad7862811","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$6EBB4AC5-69AB-407C-913A-6150148AD9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$00F934DA-B117-4B60-B97D-BB82B4D6D463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$D5D41DBB-0689-4C1B-ACBF-F185411793AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f541614f096e3b425ad00919dac5ce4b89cb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3914954,"id":"Q3914954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$D3F3BA19-A075-4BDE-AC61-113B246DD926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f724020a86fe18c349cbd6f7250d66c6d91cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3914955,"id":"Q3914955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$3DC0C3E8-8F10-435F-A059-96531C8A19E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534f3cb2e0a274acadf12552ba464789a4b4a205","datavalue":{"value":{"entity-type":"item","numeric-id":3322069,"id":"Q3322069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$7651A443-DED6-411A-8D33-4CBB61CCD8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$A30186AF-7D01-483F-BE18-F2173F36230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$F5F43431-20B6-4CDE-B3FA-56D145B9D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$5A25525F-42D9-45CA-B306-CB7774EAEAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$7572ABBF-5FA7-4329-8ADD-82E25626095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$298FD15A-0CEF-4071-8834-A563A0955097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$FC9C9ED6-0F5B-4A66-B531-825C86EFB85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$43EDA372-377D-47FD-8379-11C75A8B470E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032081ebc56e1f76052b36c596c3a3c1141f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":1243711,"id":"Q1243711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$F4567D3C-92BE-4997-93FC-8476BE0A061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a2cb9424d35028b0282f861b8ff5cdccc75079","datavalue":{"value":{"entity-type":"item","numeric-id":3877655,"id":"Q3877655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$8FCF1F09-E5BF-416A-A42D-A644F9896305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1637ae0857255a6743c06813574f040cbb6e41c2","datavalue":{"value":{"entity-type":"item","numeric-id":4449164,"id":"Q4449164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586024$1F355D6E-BE77-4A3C-B748-8BD8F8D9FFE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a3f8e22cf493f4726e781c5c57ef5a355b1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657077d65a2d441234e402b98f482b86befd17d4","datavalue":{"value":{"amount":"+0.824682891368866","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":"Q3586024$F683E1FE-C01A-4D17-944E-14995CEE0A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3872718480c33feef9cb471cc19a8487acc9f04","datavalue":{"value":{"entity-type":"item","numeric-id":4941910,"id":"Q4941910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b5a8e96756bc553a330b677881f21ed08a69e0","datavalue":{"value":{"amount":"+0.8024777770042419","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":"Q3586024$F9C8A4D1-8D2F-49A4-A1AB-DD1406316491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf47cbb470274af9aa33e3c7d13f279a7e6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b5a8e96756bc553a330b677881f21ed08a69e0","datavalue":{"value":{"amount":"+0.8024777770042419","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":"Q3586024$B8A2CE81-95B3-4191-B62A-C3B144B10602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b46910b25a14cefda9f1e1043678542847f150","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee28173149185067d45f24328256770afaf2ef6c","datavalue":{"value":{"amount":"+0.7923205494880676","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":"Q3586024$3B43090D-9BD9-4080-9A9C-4F200284256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80560144b6f5f8cab0538a1f199f1860b5e94d67","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb89245d3c368c45373da2b4aac5dd7d11351657","datavalue":{"value":{"amount":"+0.7917284369468689","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":"Q3586024$563F71B8-79FA-43C0-B74C-72775AE5D2F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586024"}}}}}