{"entities":{"Q6551701":{"pageid":14162856,"ns":120,"title":"Item:Q6551701","lastrevid":103527062,"modified":"2026-06-06T07:33:07Z","type":"item","id":"Q6551701","labels":{"en":{"language":"en","value":"Expressive completeness by separation for discrete time interval temporal logic with expanding modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861405"}},"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":"Q6551701$91723B6F-D344-4F1B-BC9E-C85EE9EEAE18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8587d64c6c6065afb8136665c38657c0f2dafd7","datavalue":{"value":{"text":"Expressive completeness by separation for discrete time interval temporal logic with expanding modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6551701$AC0CF41D-A3B1-4478-BEBB-0115D6DD6F8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$02ECF41A-452A-4346-8DC2-B5A7E256A1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca4c5d56b475c5d813f14eaa90a15ffb716f4c1","datavalue":{"value":{"entity-type":"item","numeric-id":2248086,"id":"Q2248086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$5927A4B4-BEFC-4024-8A37-6CBC431C9CF9","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":"Q6551701$CB451DCE-335D-4F37-99F1-4B51E010B6AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ebbfebbde9e44ce8411984988976e62e4323a","datavalue":{"value":{"time":"+2024-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6551701$0DE95CD8-279B-4004-9A12-19006B3DE78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551701$CEA39200-E93D-425B-B884-98E042BC1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551701$BEF94409-8330-4FF4-A68C-EE35A159155A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4753eb8f65c934714e3516efe041e0e7dff75247","datavalue":{"value":"7861405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551701$A8E16DB7-131C-423F-A24F-68556777106A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551701$28FC12DD-253D-4A96-9699-3871232C3E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551701$F9D38EDA-192F-4D89-8C75-89AF754547F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a8eab372a4a7abf9291e092e876cb17f2fe28a","datavalue":{"value":"expanding modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551701$13437932-E938-40DE-B0F1-5705DC0AD7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099e804c4d217aa1b3d72b0f0966f106f7cae2d9","datavalue":{"value":"Gabbay separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551701$B1A8AE33-D1B4-4D13-9513-58860433677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551701$AE603C8C-5792-4AA3-9548-0BD7F4B46893","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":"Q6551701$91FCD475-345F-4AFE-A539-C26E8D742F31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$E85980CC-F3C4-40FA-AE91-A1A40E32DEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1daf643eb4d738c1eca7127931058083ac0d8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5074367,"id":"Q5074367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$CD838312-A64E-413F-989C-A62A2D52581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$1686E2E8-B310-492D-AE8E-A55E10DB7EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917e7018ecb261a410a80f2084120881ca26ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$ACA728CE-B338-46AC-B06E-A75A56CCBA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$77485538-135D-47F5-B768-47E9209EE465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$375F180B-7D4C-4C97-BF2E-7FA6B878587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$C0A54F91-7A6A-4F1B-BE35-CFC73641C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e19579da7a2c5da407214736a82ec425a46148b","datavalue":{"value":{"entity-type":"item","numeric-id":2403529,"id":"Q2403529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$54160EEC-411F-43AF-9BA5-045C47A0051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46671b28c1e86c8d89a4ad7c4940b6cbec26578","datavalue":{"value":{"entity-type":"item","numeric-id":4945223,"id":"Q4945223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$21FB8E94-57B3-4F6D-876F-386D9C930A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$6EE04FF9-D8E9-46E1-91A9-4F6F8E31CAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$A83D41E9-D83D-40E8-8F24-F4E4E2C3138B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c6ea41bffec273e69936653b956fafa62da204","datavalue":{"value":{"entity-type":"item","numeric-id":2754146,"id":"Q2754146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$AC3B2EBF-DED0-471C-A393-DE69ABF8657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$9CEC79FD-924A-422D-9ECA-DB04F179FC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$22A2A949-B80F-4173-AA06-5292792F6B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551701$1A15797C-189A-4258-BECB-D986D858261A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba7027d98fefb0e123c843d91556e795e5b7291","datavalue":{"value":"10.1016/J.IPL.2024.106480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551701$C75B15C8-589B-4309-A09C-92E0493713F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive completeness by separation for discrete time interval temporal logic with expanding modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_completeness_by_separation_for_discrete_time_interval_temporal_logic_with_expanding_modalities"}}}}}