{"entities":{"Q3502632":{"pageid":5532535,"ns":120,"title":"Item:Q3502632","lastrevid":48749836,"modified":"2026-01-05T18:56:56Z","type":"item","id":"Q3502632","labels":{"en":{"language":"en","value":"Propositional Projection Temporal Logic, B $\\ddot{u}$ chi Automata and \u03c9-Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279180"}},"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":"Q3502632$23E053C5-B8BA-485D-89D0-2B612E7CD5BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89a3d30667adaa223354d457e9222233792a9fbe","datavalue":{"value":{"text":"Propositional Projection Temporal Logic, B $\\ddot{u}$ chi Automata and \u03c9-Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502632$86044EEC-59C9-43AA-BC0B-F55F1B6033A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1ce4c0f7007069f3fe093101d756fb81017b54d","datavalue":{"value":"1140.03305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$7A6A0B12-DE7F-4820-8BEE-2F60D0849CFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3620d41269a7f22632529f4085a9a4afe60dba49","datavalue":{"value":"10.1007/978-3-540-79228-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$72F21BCF-F620-42B8-B2F6-7B3893CE3B43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502632$8C25F073-09E9-433C-B395-B9490E212D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502632$DD2DA2D9-8078-4F54-BEAE-22BC0DC44FFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502632$68DA0E45-217B-4864-A5ED-1A5A7AFB8A0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502632$C4E1209A-1182-4961-AA80-8B996BB3621B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$44FC1499-CEE0-4636-A539-54FDB92E8E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$2B30F902-4EF5-4940-8229-11990671323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$0B77053A-7684-4540-9491-4597D35504D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d7e71e12862c5d4db16b51b688afb63e03c5f0","datavalue":{"value":"5279180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$B44888F4-807A-4039-B9A2-94413ACA0D55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e01b0a087e6002ef6209de02cb058f4442e6fe","datavalue":{"value":"Propositional Projection Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502632$8378A6C4-54DD-4400-992E-9E1B78364ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502632$0AFF4DDA-9BE0-45AE-AD22-765D658933A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90c2bd3df575a232d3bf43d0cc2f6dd04b93cd3","datavalue":{"value":"\\(\\omega \\)-regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502632$0680C66B-802F-411F-9CA7-85A45C0E83F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502632$655B5174-1ECC-45D4-A1DD-5BFAF67F133D","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":"Q3502632$542D7847-3965-4D12-88CA-1B983260891C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85fd52191f8966409811a5d4f40a6f2f737674c3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79228-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502632$28A1DCD9-C753-47AB-A275-9664F3ACAE2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d8a0f152014480398e505dca07e2a2966f21bd","datavalue":{"value":"W1564030757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502632$ECE195F7-76C6-498B-AEAE-AEBC072C7179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91f0f050020fcf06e7864df92406de49593ac44","datavalue":{"value":{"entity-type":"item","numeric-id":6159024,"id":"Q6159024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c535add39f1d3f0b19e4a1d1acf492396d1a82","datavalue":{"value":{"amount":"+0.8811145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$39AECBA3-3E77-4915-B129-7860C9585AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3f7ba8827e2c2822488ec6ab8d6157556f285a","datavalue":{"value":{"entity-type":"item","numeric-id":4501157,"id":"Q4501157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aedb74b0fb1689026a86a3b81593f9acd62118","datavalue":{"value":{"amount":"+0.8801837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$1811DCE6-BCC4-4398-89BC-25E6AFFA260C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731e911c16610a94bcf2eda34f8a1a30f7a1516d","datavalue":{"value":{"amount":"+0.8787662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$EC487A92-FA97-4350-9F4B-8A2349C2F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87511de820ae08d26b59f5d367c9e0fbeda7424a","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e129e4b25d3dea864946907e33e8a0a3fcc85eb","datavalue":{"value":{"amount":"+0.87747157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$27EC9F20-DECA-4189-B0C3-4545E8761E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388e541e3208693a2afb88e2290b8dfba7abd2af","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944513203b982e2613afb1c0843661e4826d871d","datavalue":{"value":{"amount":"+0.8774715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$98E5AD2D-B9CF-4EB2-B989-FA58616789B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65010c6a3bcbd3df2ba95563e36d840ed8079a31","datavalue":{"value":{"entity-type":"item","numeric-id":4032313,"id":"Q4032313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5decd7c081914b3df57d757acefa5999f95dfb6e","datavalue":{"value":{"amount":"+0.87654334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$3794B985-EF23-4EAB-AEBE-EAB72E557FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9dddab88830bb73e5cc345e05c5edcc135ff3c","datavalue":{"value":{"entity-type":"item","numeric-id":3060195,"id":"Q3060195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1540679b8e83dac63ca895ea00ff31460b63bd6d","datavalue":{"value":{"amount":"+0.87607354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$0EECF559-CD96-42AE-A207-72D8B307CDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96abbdb36dcb304234317a388bd5d30e5d90b16e","datavalue":{"value":{"amount":"+0.87446207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$2DF31395-B4FC-4F97-B6B4-9CB434516E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaec91331703e40b6f3fb73efacaa3af1532568","datavalue":{"value":{"entity-type":"item","numeric-id":2920447,"id":"Q2920447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae5fd26e6485c1a3789780072bd1b8e9bfd8faf","datavalue":{"value":{"amount":"+0.87394285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$78D50B9A-208A-49F2-A9EB-4C164BFCA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ca53fcf1db344a6ca4c82517861352dc7b54ac","datavalue":{"value":{"amount":"+0.8738303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502632$A1ACE5CE-6007-4EE3-AF71-7237C86D57DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502632","badges":[]}}}}}