{"entities":{"Q290250":{"pageid":292017,"ns":120,"title":"Item:Q290250","lastrevid":60736317,"modified":"2026-04-10T18:49:28Z","type":"item","id":"Q290250","labels":{"en":{"language":"en","value":"Stutter-invariant temporal properties are expressible without the next-time operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6588308"}},"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":"Q290250$EF2196BF-313C-444D-8F03-2D26CFF80027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88efa0be0d617135a5068f34db46d6dbd34a2755","datavalue":{"value":{"text":"Stutter-invariant temporal properties are expressible without the next-time operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q290250$A9AABFC2-74C1-4576-BA3E-55252AA3BAEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0092ded83dfe018713e3ea4995a50d8224ae59ed","datavalue":{"value":"1337.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$AEB4287C-C5FC-47E1-A098-D5CA044F4AE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94d334215d7545c20c15f43216de99c76e90ed17","datavalue":{"value":"10.1016/S0020-0190(97)00133-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$4E2E9E31-BDAA-404D-9E11-25D8A7752792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$FAAAE21B-9F63-4E09-8F22-FFDBBE76B48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$2377C9E1-A962-414B-A09F-32F399F03363","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$8EC360E4-B8C3-434D-A761-6864A3C487E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820ba18c7a13536fc1adc31f1ad62c0297cf8fc2","datavalue":{"value":{"time":"+2016-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q290250$58376BB3-7EAF-4AC1-8160-5001E691081B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$D44988E7-4062-4E7F-8AE9-FD3A63D23BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$1087586E-1123-4952-B8C2-C9B2B55A8A43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a00ec93f8be08ee6552530499b2871422b0579","datavalue":{"value":"6588308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$679E16F1-17C8-4683-9C5C-5EB341591546","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q290250$5CAF4F69-EF10-4B89-B533-EB8CFCC52C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q290250$A6A5E770-214D-4495-A5ED-51BB8E96C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7ef9db939ff71d8de85995fa5ae1aae3a766da","datavalue":{"value":"stutter invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q290250$542B59FC-8E77-4ECE-80A3-0276DDA9F2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50473df5c9c2860e3afaabf90de63bd3e7e0bcca","datavalue":{"value":"next operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q290250$FD563CA5-6653-4B09-816F-6ED654D74CFE","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":"Q290250$A6270F0E-3F00-4925-9EA7-B8411D7F7412","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$38F24642-BD64-4AE2-BE5E-AF58C6BB7853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$229E28FE-95E4-43B3-98EA-71D2A1816418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$877CD3EA-E959-4A5F-8FE5-31C0268CCDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc276400fd8dca2faa88a602da06c7e7b3768c9","datavalue":{"value":{"entity-type":"item","numeric-id":6162107,"id":"Q6162107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$E82A04A4-10AC-47CF-A446-FCCC9384D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q290250$4EE98E05-EB36-46B7-AF6F-C7C8986B9298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f9ca607cb6b7651e2ef18ff48fc09710e850c4c","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(97)00133-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q290250$30965D4F-6FFA-489C-B334-B0B22BEDBE0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acc6ead27c953c6959d86ba06c405e7a5a4df4e2","datavalue":{"value":"W2041743477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q290250$FA49727B-9F66-4BBA-AE81-FBB2046D5585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stutter-invariant temporal properties are expressible without the next-time operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stutter-invariant_temporal_properties_are_expressible_without_the_next-time_operator"}}}}}