{"entities":{"Q977176":{"pageid":979024,"ns":120,"title":"Item:Q977176","lastrevid":65801529,"modified":"2026-04-12T05:28:14Z","type":"item","id":"Q977176","labels":{"en":{"language":"en","value":"On regular temporal logics with past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723608"}},"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":"Q977176$34A7AEC3-CDC6-49E6-8F61-2881013702F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f3b0884b3463133582e23c0d9e0dd319c1169ed","datavalue":{"value":{"text":"On regular temporal logics with past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q977176$C0A25486-1BD1-4F97-9C56-EEBB2470554F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b33e751c58d3a5fe4d6c36d7b72eb74edffa462","datavalue":{"value":"1214.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$40052643-D0C5-4855-B1A6-AEC0476AC05E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eed81c4a062e3e32d4c336b2d79e33bf40324f2","datavalue":{"value":{"entity-type":"item","numeric-id":977175,"id":"Q977175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$F8A55CA8-96A5-421F-86FF-B8AA4D0A5615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$D4CDB04F-0D16-407E-9FA6-4178362FBC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$6198C253-7AD3-4AFA-A9C1-9BF54079E3AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$57954D27-318F-4329-9A18-B98E4E3D7BEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"848d85a5b2d2a82e51d619c9aa484d0431ed1cbe","datavalue":{"value":{"time":"+2010-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q977176$4A0B89E4-12CA-4D7C-B51B-8A44F5E33538","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a08a4997df68b9d3d4023fe938f94bbb16513735","datavalue":{"value":"http://hdl.handle.net/20.500.11850/18378","type":"string"},"datatype":"url"},"type":"statement","id":"Q977176$918FE8BF-F0E8-4517-9F22-5AE78C066425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$6828F700-7645-4118-8382-1ECBD7912AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$768B6640-29FE-4B32-98B5-825594DA2AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$37CEBE23-6FB0-4B95-AB2E-225BECB91BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$06DE76B6-32F4-4719-B28B-301F4EAFF96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$1EAAFC3F-7ADA-465A-B6DA-6029AE0F0053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf67afe6a46f6640c7a56909f56dad04fb092035","datavalue":{"value":"5723608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$54356479-D348-48E6-B2E1-7BFC500AE907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa2db0c7633d99f63b292ca3aa020d0cb717cfa","datavalue":{"value":"linear-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q977176$4DABAD1A-1C48-4DA1-B043-F9F6311E912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359661bf9e414a50e8260b55453ae0da63f0205","datavalue":{"value":"finite-state model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q977176$A36B3B2B-0471-44D3-9318-B878A13916CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q977176$1267F2FF-789F-41BB-B233-F630ED2061D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36664ed6a70fcbece9b039e681e28ad4aabd960","datavalue":{"value":"regular/\\(\\omega\\)-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q977176$AB9409C1-2978-4A56-A94B-C6CC22E2DAD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$21036E97-76B4-4AE2-998E-A8CE7C2D3357","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":"Q977176$8EA7F7C3-F31A-492E-B765-8AF414309EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d13fcd6cd3594e99b214313ebe64359d74d4edff","datavalue":{"value":"W2033144652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$79590D43-A081-4F9F-92F4-5631F2947EAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$A50580A2-64D1-4F9C-9DD1-0FE603B77C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d42f4d2c69a1ffd6c223218bc89c6c05692293","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$4E83E49D-785C-4DD6-9E62-DBFCDBCD20B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76eeddbf898d43509550df51c151a96a41c60bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756748,"id":"Q5756748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$2F33E965-4CA5-470B-86A8-6A76BBB729CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$6CB688A7-87E3-40EA-AFFF-C43E96CDE0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e430ac953987f7ace9d78fa87f21f8cf10d86c","datavalue":{"value":{"entity-type":"item","numeric-id":5492984,"id":"Q5492984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$767F8BB8-B96D-4169-A5D2-DE37438F88E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81881a5b3db4992d864f3635d02218f3e50f285","datavalue":{"value":{"entity-type":"item","numeric-id":5505555,"id":"Q5505555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$AC47EE04-A983-4630-A2E7-0A8203877B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$D49D2EBA-992C-4582-B91E-B03CD6EC3F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$CBF5B40A-466D-42DF-9BB7-4A99E52DFBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$4A3AA885-F781-488B-820C-39DEC73A55B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$214CC1EC-3D5C-4172-9486-78EEEA137E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$F3FF4074-C0F9-4D91-9D4B-94115E576FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$4A37C928-2A2D-4332-8F0D-4917C49C04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$ED7AF8FA-EACC-4119-81A8-1B8D35391574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077c9cc5c5eb40b039fdc94f403d2732fd84180c","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$5D6AF85A-AF08-463F-9B28-A6266782C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f77d08b66018a6f7b70bdab6ad41f0d44476859","datavalue":{"value":{"entity-type":"item","numeric-id":975478,"id":"Q975478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$149D1A77-9002-4481-9921-1D3028147D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$325867FF-6851-48CE-902A-D7281756FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$2D302D43-F666-4FE5-A50B-0B34BE5FA32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$86A4CCBC-6356-4191-BC21-B5754EF32561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8ed04e37aef26823c97fe93e0e3092b51453c4","datavalue":{"value":{"entity-type":"item","numeric-id":3656890,"id":"Q3656890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$76516D2A-B011-487A-96AC-D7B815D2316A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$E06E0196-BF76-465A-B85D-DBF5F739FBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f01ecffaf428bb07aef10232d62d5e6a8590be","datavalue":{"value":{"entity-type":"item","numeric-id":1116341,"id":"Q1116341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$3752FAF8-8C64-44C6-8190-16EC0C03C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977176$968C53FD-017A-4F11-B74B-249FA1B3C695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0583bad61f177cc0bca0639c7f2175fa57c95bb3","datavalue":{"value":"10.1007/S00236-010-0118-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977176$EC246530-3F58-4CA1-A198-25489AB5B3E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb705ac9fdde19d8f04be343d0dbbca36757be06","datavalue":{"value":{"entity-type":"item","numeric-id":3638094,"id":"Q3638094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734d5a2290b25ed1232578b227f8cdf33e43b720","datavalue":{"value":{"amount":"+0.9579064846038818","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":"Q977176$A80CEEC9-D358-432D-B7C3-40D318956D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93557b2140ff17446b553cd8c1e7da2661618531","datavalue":{"value":{"entity-type":"item","numeric-id":3656890,"id":"Q3656890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213e91c9f3d2464f219b4794de3374df7ae5dd07","datavalue":{"value":{"amount":"+0.8083115816116333","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":"Q977176$D1BA198A-B144-4AB1-842F-3818B1450585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9018f40cfa0299e739307b304de38d6bc4fa0527","datavalue":{"value":{"entity-type":"item","numeric-id":3525631,"id":"Q3525631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e96847a5eb9901ce2a6e2e620116052cd19f6e","datavalue":{"value":{"amount":"+0.8060042858123779","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":"Q977176$FBE453E6-01FF-40DA-8846-BA0BF54DDD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4cdc30fc0ab5a03dc9212495053882877b34ac","datavalue":{"value":{"entity-type":"item","numeric-id":5492991,"id":"Q5492991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8103476a10a60a675c60581be8350bf72e2272","datavalue":{"value":{"amount":"+0.7911288738250732","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":"Q977176$45213DDC-8724-4368-BCA0-60B7E12B3134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e27846bcefc3e08e6579f639955d083bbf843b","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2170478e6ad64ea5bd8105ca03f13e12c192ebcc","datavalue":{"value":{"amount":"+0.7757700085639954","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":"Q977176$DB15D040-035D-4223-81ED-1BAB92E59270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On regular temporal logics with past","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_regular_temporal_logics_with_past"}}}}}