{"entities":{"Q4240680":{"pageid":6270281,"ns":120,"title":"Item:Q4240680","lastrevid":46755042,"modified":"2025-12-25T13:00:44Z","type":"item","id":"Q4240680","labels":{"en":{"language":"en","value":"Temporal logics of \u201cthe next\u201d do not have the beth property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281375"}},"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":"Q4240680$C1FBFEA8-9E8B-4802-8598-429322D7F6FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7076c1c51ae74e8fd70063796f97e9d5ac1a90b4","datavalue":{"value":{"text":"Temporal logics of \u201cthe next\u201d do not have the beth property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4240680$7FF3F42B-8677-4149-B6EC-3E796A380CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"debdad5799f2c445ebe19e585abf3f82412c9073","datavalue":{"value":"0914.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240680$0A4FCAC8-44F4-4C2E-8AB7-4C227D9D95E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"164300774077d0426145ed7a52e600fd3960ebb0","datavalue":{"value":"10.1080/11663081.1991.10510772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240680$D704F98F-B158-47C9-99A3-663343E19C29","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":"Q4240680$A60CCF49-69BC-4B20-9364-3CD6017EC61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"503a477c7265a39fb9bda62eb38138aad91710bc","datavalue":{"value":{"time":"+1999-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4240680$468777C4-EBBE-4FFE-A9A0-8A70F9542EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240680$89164685-C417-49DA-87BB-128B912B9A7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0799fc1a94e4ae3ed22b3cb9c1ab6bd2b57aa2a3","datavalue":{"value":"1281375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240680$E20CF096-67FB-46CC-A97C-182E0F98A050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c74f6b6c03fb2cd84402852a1f447520bab20d5","datavalue":{"value":"temporal logics based on integers or natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240680$BAAC098F-5766-4B9B-8E05-07820339BE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240680$6E163F7D-1DB0-4C8C-B08F-B3C1B64C82D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240680$8B2EAD6E-04D1-4592-B08B-5DDA2BCCCBBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240680$19FDA799-7AE5-4A81-9C50-753217C7591E","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":"Q4240680$5EFF1E87-66B3-4E87-9751-56DDF72601CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2881223320be392e8cefc3ab8712c36f00c9964e","datavalue":{"value":"https://doi.org/10.1080/11663081.1991.10510772","type":"string"},"datatype":"url"},"type":"statement","id":"Q4240680$8E51305E-A7A4-4112-9546-6772543AEF16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d0835d7d4a659b7242443c7abfcdc2933173cac","datavalue":{"value":"W2046648755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240680$840C5C03-B3CB-4962-A0C3-4BCEB0B6E4F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240680$285D25AC-C157-4DBD-A39F-2E7252762656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240680$966DF697-1A35-44FD-AFA4-F297FD6B8103","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":"Q4240680$67560094-ED1C-4C3F-BEFA-12F7A5B5C5C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b672ffdf78748515fed18824d3536bd0f5b479","datavalue":{"value":{"entity-type":"item","numeric-id":4006522,"id":"Q4006522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eb2d74f1b55ffc7f89e4b5908143ad8ad1370b","datavalue":{"value":{"amount":"+0.900726318359375","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":"Q4240680$E01C3B16-57D4-46CF-951F-D74E48A9C9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e5466eb0bcd775343af52d82ecc3e688a6574f","datavalue":{"value":{"entity-type":"item","numeric-id":4866986,"id":"Q4866986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec60a0524b954a4589cd42c48a47b5017f7dd3f","datavalue":{"value":{"amount":"+0.7596517205238342","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":"Q4240680$C47A5D11-4056-4C63-A174-2F7B1862330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5406290498b32c7e3e9536d989f66d74bf4b7ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1366764,"id":"Q1366764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7374727819baf988ec07344b0dfa2da704833400","datavalue":{"value":{"amount":"+0.7524532079696655","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":"Q4240680$E57330B3-9EEB-4927-A354-545FA7FFE97A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4240680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4240680"}}}}}