{"entities":{"Q1768798":{"pageid":1779540,"ns":120,"title":"Item:Q1768798","lastrevid":69264300,"modified":"2026-04-13T05:51:26Z","type":"item","id":"Q1768798","labels":{"en":{"language":"en","value":"Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2146224"}},"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":"Q1768798$301AFB24-33A9-4229-A0DB-0D98D855B97D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15060c744f05db9e4ea20906415b9e491411539","datavalue":{"value":{"text":"Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768798$E43ACD7C-976F-4520-BC86-172FCB12E9D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19b0d31ff381faa89e1fb900046e345e6fddd51f","datavalue":{"value":"1082.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$180C5C91-9189-4D5A-89FB-9F48DF6293A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2dd4e087c489447b09532b69f73c455fd5c3c77","datavalue":{"value":"10.1023/A:1024643624349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$EF8B2195-8C89-46A4-B13E-11E38AA08847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21accf81aab1e604fd47457545997cb4d57c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":1768797,"id":"Q1768797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768798$9E17B09B-A758-4792-9C73-14463AD92C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768798$1756704A-C3B9-4C1E-A4EF-F9FC248C6948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d735c4f23b3f4c54281cc11d8243106079e99d6f","datavalue":{"value":{"entity-type":"item","numeric-id":704018,"id":"Q704018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768798$942497E0-7662-4DAA-BCF7-D9FC9D644C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1768798$A13DC2A4-9A46-4AFB-B497-C0242D287B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$CAD66CFF-640F-4AE2-854E-3EB5301EE141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$678A4CDF-04DE-4C8D-B4D7-F64056D58B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$6297CFC1-F22F-4D0B-BC59-9AE88E44F747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8317dec20e5632dbba2fef92b8992f6d537a612","datavalue":{"value":"2146224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768798$3E9B177A-929B-4FFF-A4C2-A3C05F1ED792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158a54ca96f311f3939eb28debe941d3908c2b7b","datavalue":{"value":"specification and verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768798$B80C24DB-6186-4BA6-B066-47837F2F28F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768798$8A1A3EC8-79D3-4A52-A185-C6C8CF87EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed35465f584dc9ce4c9ac18b12e973d1adbaad9","datavalue":{"value":"time granularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768798$8CEEDA69-51A3-4897-9B84-CC0580995BC4","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":"Q1768798$54FFC035-BED7-4B7B-B1CE-6545EFA0866D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b80bf534db2061dbb1a2fea6dcdbdedc5cf1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4669652,"id":"Q4669652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76888a2308c6c72b66e9a1ab2cced67eb0b009a9","datavalue":{"value":{"amount":"+0.8499866127967834","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":"Q1768798$D7734192-0D2E-448C-BC1C-AB85ADAE5E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2d8af373e3bc9a94f15502c32198676aed768b","datavalue":{"value":{"entity-type":"item","numeric-id":4238501,"id":"Q4238501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfb7e12b89f90944477c4b674042ef87b80602f","datavalue":{"value":{"amount":"+0.8006986379623413","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":"Q1768798$D70764F4-E3C7-4D0C-9F08-F7FDBB71475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8327999d691fcc2f5595a432746b9863f98977","datavalue":{"value":{"entity-type":"item","numeric-id":3647247,"id":"Q3647247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408009e2b144a361e10ba0fb30e4f2a92fb9a752","datavalue":{"value":{"amount":"+0.7850651741027832","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":"Q1768798$EE7FA07D-8593-46F7-8D00-A0DDEC8281C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f8e3f271add6474aaba4a300755826ae4624f5","datavalue":{"value":{"amount":"+0.7753268480300903","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":"Q1768798$BA23F9BA-926C-4378-9FDA-2244E358865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f336ae26c181c67274937a13e854852f0cfa16","datavalue":{"value":{"amount":"+0.7660912275314331","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":"Q1768798$02EF8FFA-415D-4445-AD6B-56709C0F7D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_within_time:_An_expressively_complete_and_elementarily_decidable_temporal_logic_for_time_granularity"}}}}}