{"entities":{"Q6659914":{"pageid":14271071,"ns":120,"title":"Item:Q6659914","lastrevid":100173935,"modified":"2026-06-05T21:33:16Z","type":"item","id":"Q6659914","labels":{"en":{"language":"en","value":"On the expressive power of the normal form for branching-time temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964366"}},"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":"Q6659914$780DD4A0-3DD4-4909-87E9-7F632547487D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1ff7e63909c27a5631d95535d1506d83ac694c9","datavalue":{"value":{"text":"On the expressive power of the normal form for branching-time temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659914$65EE91A1-F009-481A-8D4C-FE1D3A8F2912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a0c039d765482b928c3f3eae6d2c20d57ac6169","datavalue":{"value":{"entity-type":"item","numeric-id":862825,"id":"Q862825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$4C54335D-B9C7-4094-84A4-7D39F3696E50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659914$11163905-D873-4DE0-8213-C8B7AC256D93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659914$E717F7BC-572B-4AFE-84C3-87FC6BDAA91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1708875eb666f0e89dd412dc5141c7660b11b2","datavalue":{"value":"7964366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659914$8BC50BDD-FBD4-4D8E-BB42-CA58187B868A","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":"Q6659914$AADF8F3B-9EFD-4497-8724-EBBB4C940172","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d5e9e4642a0101e333d76cc51ac21d65203c96","datavalue":{"value":{"entity-type":"item","numeric-id":862827,"id":"Q862827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$D843FC2E-D122-4F78-9D37-A36A9A3ECF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f0c4f840021549fd3880e42aed6b986058659","datavalue":{"value":{"entity-type":"item","numeric-id":2495388,"id":"Q2495388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$88C68893-276D-44D8-8A29-2C18A1CC42CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$6B5BAC72-1885-436D-8FB7-FA7E11EE3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df702f751e61c43c04859300e810f7f82e597edb","datavalue":{"value":{"entity-type":"item","numeric-id":3146301,"id":"Q3146301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$86D368F9-A169-41A7-95DD-0875AE3400B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3dc62d6a25868c5b54db3124349c6521103f184","datavalue":{"value":{"entity-type":"item","numeric-id":4428293,"id":"Q4428293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$FD60A54D-59BC-4A61-B24A-8F675605EDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9804ebeea2ca5952c253aa794986d290f4cbb78","datavalue":{"value":{"entity-type":"item","numeric-id":2695485,"id":"Q2695485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$D0CA6678-FFE5-4DF8-AED9-FCD930D8E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880f69e24a8fb6fdac60e81c95a6a352858d522d","datavalue":{"value":{"entity-type":"item","numeric-id":2488275,"id":"Q2488275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$EC852A45-0F4E-4800-B864-0E99D54FB890","rank":"normal"},{"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":"Q6659914$D0AAD553-89C9-4ABF-86F4-6011DD155F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$EC889B4C-4178-4CCB-BE28-C9B837616295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$E322738F-6069-4E80-872D-CE928DBF81D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$C94D709F-A269-4908-8D5B-AB89ABBDA955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$65ED1A6E-3E9B-4832-8A84-A72B00F703D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc41a6f4c3f61c1a908b43eb0a51dd26fd864ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$47FB66C5-0CE8-4E56-BE8E-42B917C9B9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$86AFEAD9-D436-4876-9D6C-FDCBBB79C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a08887d822e7b4c25205595464bf9ea48151dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5191106,"id":"Q5191106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$66013A83-3716-4882-BBBD-ACCDF500AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb579b8116b5c12413a9f058a99dd996b55fc7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3568224,"id":"Q3568224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659914$B7A415A2-0230-4038-8073-DB9039A5FAF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2bec21e1e132b70ca511b9ade4718fe7774985","datavalue":{"value":"10.4204/EPTCS.358.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659914$5E54C02D-C980-4B24-9271-F5B108F6712E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of the normal form for branching-time temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_the_normal_form_for_branching-time_temporal_logics"}}}}}