{"entities":{"Q4275689":{"pageid":6305290,"ns":120,"title":"Item:Q4275689","lastrevid":47220394,"modified":"2026-01-01T01:26:59Z","type":"item","id":"Q4275689","labels":{"en":{"language":"en","value":"Decidability and incompleteness results for first-order temporal logics of linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 487146"}},"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":"Q4275689$6E0BF13A-51AE-4686-A97C-43125A818515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"828a4a0b9ca618e3f7afbf23ffdbef81aa0319a3","datavalue":{"value":{"text":"Decidability and incompleteness results for first-order temporal logics of linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4275689$919FD65C-FC03-49AE-848B-8E2C62C1FDC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8945dffaf24882634e506ce75a1c7ced2847524e","datavalue":{"value":"0790.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$A6C977F2-799E-4BBC-B7AF-A2A4B433DB62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72ad6d6046f5cd692505a8e38659085d083ca435","datavalue":{"value":"10.1080/11663081.1992.10510779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$23342EAE-DC51-4051-BC0E-498E856B92DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$751ACA26-C58B-46E8-901C-151A4A3B4CDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$8906369D-C51A-464D-9C24-7A5EB11349FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0513fc865bb7d352e09a6d06b231471f80c9a9b0","datavalue":{"value":{"time":"+1994-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4275689$8B6ABBB0-B572-443B-A35A-A37843DE9613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$FCBD36C0-EC21-4F52-A26D-BA684B71180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$4EEAC2B6-1D53-4C5C-B708-4F38494FB3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$561C37EF-3719-463C-9E77-A8BE8269C9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d11a18c8127c76ced0444eaee7e4f99012a8017","datavalue":{"value":"487146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$678E1631-8421-4F9A-A18C-856D3AD2E0C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$D3C87482-B971-41D8-89DB-0FFF731110ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0e8135f8bdca5eefac22d7a1ef8887860103e6","datavalue":{"value":"first-order temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$66E07847-32D5-420E-9F45-3CA30C5120E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$E07C64E8-6C23-4FCB-9463-64B57E4799D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$620AF0F3-A480-453A-8E04-1B0A9823C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae30d3df1a3c0e87e40bdc50f015dcd97f43742e","datavalue":{"value":"flexible interpretations of the predicate symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$495D265F-B3E6-4E11-A107-08FD6008C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6440a1d13c8989b30c8da4b12b74f93750fba065","datavalue":{"value":"rigid monadic predicate symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275689$BFB377E2-CBF8-4613-BFF2-C85F61ECE146","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":"Q4275689$42DE6D35-F641-42D1-B453-5D4DF2983BE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05f279f2d964be2e3b889b9dad058b4c5a3c386","datavalue":{"value":"https://doi.org/10.1080/11663081.1992.10510779","type":"string"},"datatype":"url"},"type":"statement","id":"Q4275689$425D02EB-3262-4904-AE5B-C7C8119C831C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876354377cbf0f48f2b3a2ee8f58d28068abde25","datavalue":{"value":"W2018216922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275689$2AF08949-DBCC-4BCC-AD9E-387AA48E24F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"306e12a9cf0eda54a3cc4a9ea9a5f408097e0e07","datavalue":{"value":{"entity-type":"item","numeric-id":1118578,"id":"Q1118578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$2033A0C7-2C0F-4D89-8C27-992A8B8D18F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$D993A2DE-DB57-4D03-9056-9A0A5A2E81D7","rank":"normal"},{"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":"Q4275689$A8D1772F-29F7-4EB9-9150-B539DE5ADDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$812901F9-0CA6-408E-B1E3-89FC45F07E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$1736BB77-A0EE-442B-A4E7-9B773FC26B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$B4E265DB-973E-48A4-9438-F89AB32191A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$EE24A5F9-43F6-4202-BAB7-77D5F10093DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$1799F8CC-2B6B-42B4-90D0-450FC1295324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$0D995AD2-C61B-4B33-8F51-E65D101767FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$CA3E0CC9-25A6-43C5-995C-B1E94485A56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$9D55057A-52EB-4AF4-AF49-353922FAFE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$97CD8187-AEA4-4AFF-A13E-53B30EDF1919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275689$02D92E43-2A69-45D1-8BB9-F859FBDE495A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9816596bcf4784ba7fff03dc8ffd5b25557c587a","datavalue":{"value":{"entity-type":"item","numeric-id":2426731,"id":"Q2426731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81df007b90ff641e4ca232fbb435c9ec59fdd8f","datavalue":{"value":{"amount":"+0.846823513507843","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":"Q4275689$1F7DB7AA-97C2-4B8C-902A-740DA3F3B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d76855725e99631c7041109e25cefe11ad67259","datavalue":{"value":{"amount":"+0.8366519808769226","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":"Q4275689$F0B5BE2F-BCED-4103-B8A1-EE0A09F1ABE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4adf198757e8cb84c79e718d1bc35c4b3583a29","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aeec3dc1ae9c297a3aa96ee61c5907ada3223f","datavalue":{"value":{"amount":"+0.8358518481254578","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":"Q4275689$649B2D97-8871-4419-AF94-7F8BC308A2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04484ac7efe84ce866ef0f79be7e1aaabeaed3","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba456673fe7e2dcc3990d56b9f998a2e8bd44db","datavalue":{"value":{"amount":"+0.8178519606590271","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":"Q4275689$15652690-C7FD-44B9-A367-EAF2CF9EF668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd95d9f297314b6684369e21fb88dd6f0e57b420","datavalue":{"value":{"amount":"+0.81651771068573","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":"Q4275689$62A86311-120A-44FC-8861-B5B9B496F09C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4275689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4275689"}}}}}