{"entities":{"Q5287693":{"pageid":7317267,"ns":120,"title":"Item:Q5287693","lastrevid":46293711,"modified":"2025-12-24T12:26:20Z","type":"item","id":"Q5287693","labels":{"en":{"language":"en","value":"<i>\u03bc</i>-definable sets of integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 238220"}},"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":"Q5287693$F6848E4B-8CB1-4EC9-9773-DD99505B00C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3a23c9a9545d15d241e5a4e9e67a2962f42414","datavalue":{"value":{"text":"<i>\u03bc</i>-definable sets of integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5287693$98104AFA-02F7-4D6D-8B6F-F6F865020E17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20126e1e080cc7ef59e03d5b00f3f5c65835d94b","datavalue":{"value":"0776.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287693$947578F6-27F2-4CA4-846B-FAB5AC8DF9F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4192f238dcaa429d4998b63488d6407d6d4951d","datavalue":{"value":"10.2307/2275338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287693$D52FD15C-CBC1-4546-99BE-2DC7C6C20F88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287693$7314DB69-7E0E-43AB-80BE-6FFD16D5628A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287693$95002B3A-A7BD-4477-87AE-FFCBA4BB7264","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5287693$28686651-C582-4EAE-B079-4B3E7F03EB93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287693$C72BDC25-1298-4C75-BCF7-32FCD281D03A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f81bd4339f18727a6ea21a408dbbe67e65b1c3","datavalue":{"value":"238220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287693$D31795C9-7962-4603-9CED-9BE8E74F6381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$17594619-8C29-4B28-ABDD-8589808570BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a57406d61a639609696280d5b19be2620747e13b","datavalue":{"value":"reflection properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$F1632FEB-1C6D-4C75-8393-EAD595730677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$41323B6E-4BC7-4081-A09A-7DA4512B92F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$2AD4789F-88B3-400C-9320-DB96AADE6CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$5072EA49-9BE7-47F5-A87D-F385C0F5CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$F80AB510-7CA0-41D7-BA49-1CB6EBF719B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280933c389d95f4603ba2d739329fb8e9d5bfca9","datavalue":{"value":"prenex normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5287693$F4C006D7-C2EA-4306-B093-F2FCBAB5A1F6","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":"Q5287693$D9F899DA-BD61-40CD-A39C-E85881F930A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fb091e5c773f8265ccec15fe83bcfc4dff4e90b","datavalue":{"value":"https://doi.org/10.2307/2275338","type":"string"},"datatype":"url"},"type":"statement","id":"Q5287693$6C15F7F2-6987-48DB-94AA-4FF655B57C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"082aa86fa3d1b623fcb09b1da821b97d5c1008ec","datavalue":{"value":"W2090634299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5287693$B4A50939-6378-459A-991A-3C7AA345D4AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287693$2892F56C-5814-428E-AE90-DC1AFE36086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5287693$8C617AB3-7FE9-48A7-8DED-1DAE4C072E90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e516f3c6933ae664faefe2885b514349e6017cee","datavalue":{"value":{"entity-type":"item","numeric-id":5752561,"id":"Q5752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930882faccf172fbc3854f183022afd73995fa68","datavalue":{"value":{"amount":"+0.937441349029541","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":"Q5287693$5AAF373B-22AC-48A2-867F-7FDAEAC35C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138d3139f4cc5aa61b1802a68a1a6b5c684e9706","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761739156d6127cb347b0df08f7725d0e07e8125","datavalue":{"value":{"amount":"+0.7679604291915894","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":"Q5287693$F06A4927-7AB1-472E-B219-881C7596649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48acb2172f02dce088141331eaa585a9497c45a4","datavalue":{"value":{"amount":"+0.766549289226532","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":"Q5287693$AE7EFF05-20E0-4F2A-ADF3-92F88080E225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c58dbc1c9a52c2066897a2a73f323badd9a37d","datavalue":{"value":{"amount":"+0.7603018283843994","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":"Q5287693$251844EC-74F5-49A7-93DD-235D36D2CC49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5287693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5287693"}}}}}