{"entities":{"Q5109229":{"pageid":7138803,"ns":120,"title":"Item:Q5109229","lastrevid":55965652,"modified":"2026-02-21T14:17:04Z","type":"item","id":"Q5109229","labels":{"en":{"language":"en","value":"Spectra and satisfiability for logics with successor and a unary function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7198321"}},"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":"Q5109229$2CD67086-E02C-4D1C-AB1F-D1F91B9F9413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f996a94ab63d6ce0afc9b808244f3630581e2f5","datavalue":{"value":{"text":"Spectra and satisfiability for logics with successor and a unary function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5109229$415FA9CB-D2AC-4B46-910F-32E986C4F3C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afedfce075464657e7b86536005d5e58f39dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2988841,"id":"Q2988841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$DA0EA680-7C02-4DD0-ACE0-2136E3A6E701","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$15959EE8-CE2A-4B9D-9063-D97D7C37D587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19c9f499d49cd858839ed69f06faaba3904265fc","datavalue":{"value":{"time":"+2020-05-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":"Q5109229$DD92AC59-AAFC-442F-ADF0-B7A3FB7517A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109229$9A6AA0A9-6113-4EE1-810E-B25091147A0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51369b8db946999bed882e791d72e0caef70d6af","datavalue":{"value":"7198321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109229$3C796EC2-4785-47C9-94B1-B09B9D554FDA","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":"Q5109229$01539CF3-3D7F-4B3C-B70A-F44CDD9E0219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c74afa94f8923ab07b8c85b7cb04d98d54383e","datavalue":{"value":"https://doi.org/10.1002/malq.201500070","type":"string"},"datatype":"url"},"type":"statement","id":"Q5109229$E9EF49FE-C2F8-4A3E-9CF8-436F4AFCB734","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c105b1f6fbe7c9a66ba5f37b2dc422700ca5c63c","datavalue":{"value":"W2898403117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109229$C3F59D21-C0B8-4582-B9C2-EA662715BEF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e65794a0665104f90531075be1d19c77f08f31","datavalue":{"value":{"entity-type":"item","numeric-id":2432541,"id":"Q2432541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$F43E06D2-9364-498A-8731-E4102760BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$21481C02-DCE4-4575-9586-9621270B6706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$9BFB3819-9F36-4E30-9048-99B4E53E1B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825d72ec6dfd18edbaa5b86fee391dd213a6f091","datavalue":{"value":{"entity-type":"item","numeric-id":3192185,"id":"Q3192185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$2132C517-A978-447D-9C12-A7243F55A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827935aacc814cb13869c597193eebf4d3a12a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5569462,"id":"Q5569462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$119846E6-2A28-4145-A93E-D2874E8E5B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9a8daa3761055d162ef21290be3a4e620fdde7","datavalue":{"value":{"entity-type":"item","numeric-id":4218932,"id":"Q4218932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$57BC1653-BAA6-449C-901D-CC3317496BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cede0ff806d98b3c150a87a9307eaa595358afa","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$F5601BFC-656E-4CD3-B71E-D99F46BFFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$5E0D21F6-939C-43ED-9072-6ECA6EC8F985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fab33777dce654ec72e44fec3119c509ea0bece","datavalue":{"value":{"entity-type":"item","numeric-id":4106190,"id":"Q4106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$1D0BCB42-6B17-4DBD-AA16-70581D1343F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddfde40dfedaf2fe72b5a6accf6e72c83a99a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":3096006,"id":"Q3096006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$DAC0A9E0-FAD9-41FC-A646-B53A05464A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a8c166ad4b9b09ab714d879b6e981ad9de398b","datavalue":{"value":{"entity-type":"item","numeric-id":4601030,"id":"Q4601030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$9112FE05-4879-49F6-8760-76D88A0955E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$56294A30-C990-4694-BEE7-F339D1747EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$CD24F948-AB58-41F8-B72E-7FDD94AABBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$E7FF9B81-AA6B-4D97-BB37-95AF21E16685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d16eaebef48efb59558189ec48771d81154c86","datavalue":{"value":{"entity-type":"item","numeric-id":4088806,"id":"Q4088806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5109229$7A75D9B9-902D-4F9C-A06C-C2059E240C77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1881ebe6215d97ce0e5614fcf49d49f86589071","datavalue":{"value":"Q129080308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109229$51DA7863-5245-41A6-90AF-3F3926D82DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33e6da7040a441e034a2135d1027f13abeb40618","datavalue":{"value":"10.1002/MALQ.201500070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5109229$B7F7B2E4-85D0-49E8-96E1-CB63494E9D27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f897833b4e0673089a001194fe3cdf2e673339","datavalue":{"value":{"entity-type":"item","numeric-id":868664,"id":"Q868664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb339c0ba54492cd52e9a370cefc6622e612934","datavalue":{"value":{"amount":"+0.88712937","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":"Q5109229$74B27C28-7CD6-4575-862A-B03487798380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d1682873a335287479f743d7fec28c38472c66","datavalue":{"value":{"entity-type":"item","numeric-id":558444,"id":"Q558444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56031cd905b8d8852e3f27de8dc1eccca8cc135","datavalue":{"value":{"amount":"+0.85462594","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":"Q5109229$873E803F-2203-498B-93EF-61FA604A1891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bab94369660743740997eb0df67484b6564688","datavalue":{"value":{"entity-type":"item","numeric-id":5294027,"id":"Q5294027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006f3a73b177c150c105577f93c91d0255859ea7","datavalue":{"value":{"amount":"+0.853438","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":"Q5109229$976071CB-D3A7-4892-A7AB-6ACE590017F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867246cccf6cb7b06f8d9d75c7c98ca0390169be","datavalue":{"value":{"entity-type":"item","numeric-id":2445092,"id":"Q2445092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc9d5391c00ffa2c97a7715f40572fd763796b5","datavalue":{"value":{"amount":"+0.85172254","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":"Q5109229$19DB51BA-10A0-47F2-9400-73067B4E7452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c256b26b4058298bd9763cfc4dd93094de94d5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3677732,"id":"Q3677732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89d5a6506eb8b1b7fb2e656da3bad81b439f932","datavalue":{"value":{"amount":"+0.85129654","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":"Q5109229$CCCA5599-FAB6-4E2C-9E22-371FD3EB23DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76eb72d960eaafdc1a419615fb55ac562d222aca","datavalue":{"value":{"entity-type":"item","numeric-id":5311744,"id":"Q5311744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6004f6eb7f3285299093e80dbe185b683a4087b8","datavalue":{"value":{"amount":"+0.85109913","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":"Q5109229$315DC652-63E5-4B2D-90AE-4C15A85A0BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b1e49f9180df03ae03fc9b9937109da599721","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4994d34260f829c7a5e4fc505ee92c6897efc2d","datavalue":{"value":{"amount":"+0.8499321","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":"Q5109229$0BBAC9E3-0D6A-409B-B0DF-0FF26972F1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7632ce9b9b08475ae27b5e676a58c6be898b5f","datavalue":{"value":{"entity-type":"item","numeric-id":263249,"id":"Q263249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645fb3253afbbc79097a9193062fa9e8c2c7bb5c","datavalue":{"value":{"amount":"+0.8459623","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":"Q5109229$6D2CBFA3-3DC5-4802-A715-A3B9030E226E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5109229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5109229"}}}}}