{"entities":{"Q3384888":{"pageid":3395591,"ns":120,"title":"Item:Q3384888","lastrevid":55395586,"modified":"2026-02-17T15:29:20Z","type":"item","id":"Q3384888","labels":{"en":{"language":"en","value":"Temporal logic and model checking for operator precedence languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447741"}},"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":"Q3384888$8475A9ED-4A07-4975-A82D-4B11E9BE4D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c8515c1b785e5654c278b92d972b1672ace3b1","datavalue":{"value":{"entity-type":"item","numeric-id":832276,"id":"Q832276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$FA2C60AD-F775-46B3-AB92-51FE34C56812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fdba189ce1dcf3dec02a20b242e7a252ee1a17","datavalue":{"value":{"entity-type":"item","numeric-id":530558,"id":"Q530558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$324486FC-3DA1-44DE-97FA-8A8590D4B62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7fbf2496e246569791b0f06bc68a82062b431a","datavalue":{"value":{"entity-type":"item","numeric-id":719246,"id":"Q719246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$78CDA727-EDF8-474D-BE49-9FA3C3D466C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384888$928CF966-1E91-4111-8713-5CBEB38C58CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90fb39294800649e50cb70d282ad63583a79e31f","datavalue":{"value":"https://arxiv.org/abs/1809.03100","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384888$55A2DC9C-59DE-4A07-A20C-5740FA92A651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e55d1a2c5af5de95fa7818a44b8daff7a4b0e23c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384888$847750DD-5ABB-4804-A242-0230280E756F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384888$4FE5C753-1C2E-4648-8825-ECABFE00EC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384888$E1B26ECE-BCAF-4D26-B7BD-73F66BBA0D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384888$A052AFAA-1D11-45DA-8ADE-2FACB9B299F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6d213e658acd7a457d7d5b207697da95a0a8c6b","datavalue":{"value":"7447741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384888$E53491B1-7883-4E8C-8FE5-61DC4062FE3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857ea097c15fbd3507fc5df6c9c4c3b97ae52e29","datavalue":{"value":"operator precedence languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384888$0E3424C3-9F14-46E2-B4C5-B694DFCCFB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384888$1E197A7B-C8AF-4FC9-944D-1A7C1076E2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580f56665c09282ee6fac51686e61a6376857d7a","datavalue":{"value":"input driven languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384888$AA97AEAA-7841-4719-9B1C-D0FBE6BE698F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384888$EC4DAD30-06A0-49C8-8F5D-DD4C913DD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384888$5B4DED78-0EA1-40A1-A225-9D9A76D31CD5","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":"Q3384888$B3AC3152-B92A-4BD8-9304-3F2BA89748C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$BC421778-E08C-4D88-82A3-D04163CD0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$ADB52CB1-D670-4915-AB2A-EFB034BAD1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$8F5C8874-ADC0-4EEB-958F-3E99E9D3CFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$FE981858-51F0-4353-ACAD-C25AD536BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04dd2d13ea842f22685c52165e692ddab4158c5","datavalue":{"value":{"entity-type":"item","numeric-id":3341935,"id":"Q3341935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$232D821E-6FD6-4D15-8555-3AB29C060CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$06657B70-B064-4CD9-94B9-F87C304C5EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a8f2452f27c781edb1cf0552265bced7521664","datavalue":{"value":{"entity-type":"item","numeric-id":1757840,"id":"Q1757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$D90930CA-DE6C-41D6-ADE1-704E0974D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d74ad46640dbe32f3409b25158cc75abf9fdfb6","datavalue":{"value":{"entity-type":"item","numeric-id":4155847,"id":"Q4155847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$417ED27C-3F2C-4085-ACC0-BE32BC89E6F2","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":"Q3384888$8780C969-6203-4519-BEB2-F7A2DAF922A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aff39c1b2290aa34005c6f3fd9e348438dfa64a","datavalue":{"value":{"entity-type":"item","numeric-id":5343340,"id":"Q5343340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$1D3E04A3-C542-4A99-B834-DB64F35C211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37582b4c778c46bf24fc41a8cb06c175f07e6d17","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$58FC607B-071E-4871-86CA-64BA7A736F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551dd0e7d5392840fa888f8996e13322c8f71a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5386261,"id":"Q5386261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$D325B03C-7B44-4891-A7C6-67E3758427FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3ab20cc0356eca70d973d2fafb83c885f14abf","datavalue":{"value":{"entity-type":"item","numeric-id":4474840,"id":"Q4474840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$84454542-6B45-4BA7-B796-BD0C3D266F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de32e79a316f4ba915617aa14ef93a799456844c","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$DC2E30A5-8B6C-4498-9BAC-F2D84E385B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a81eb14cf3d2b93ae7984784bbe538f1740c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1706605,"id":"Q1706605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$ABDC0C96-27D8-4452-B345-DB12CDE96FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf9c2e8005e070cc02f7e5d2e34924b80464613","datavalue":{"value":{"entity-type":"item","numeric-id":5553283,"id":"Q5553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$53427D8E-076A-4B3F-83FF-9734993656B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$8B047352-ABE2-4B14-8275-CD7DFB2EADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$4667847A-738B-4E47-9F5B-95DA62CF78B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384888$9FF65444-5132-41B3-9698-07C3851A938B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdeeb36496b10a1dc8006d87953598d35e3fa10e","datavalue":{"value":{"entity-type":"item","numeric-id":2215961,"id":"Q2215961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f5d04913d2bf200d43a25c2cb5ab0cc6f3af40","datavalue":{"value":{"amount":"+0.9843512177467346","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":"Q3384888$8C7F182F-D7A1-4A8F-9339-73136CB244BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34954377a258619df7d9ccb479827e447418db2","datavalue":{"value":{"entity-type":"item","numeric-id":2944566,"id":"Q2944566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d68adca1bbc6abfdf8a443c2a54ae5824500db","datavalue":{"value":{"amount":"+0.8400351405143738","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":"Q3384888$843284C3-BE83-4913-AA33-5F67BB9A09F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55bba64894909730c85e6a13712df13defdf581","datavalue":{"value":{"entity-type":"item","numeric-id":5101344,"id":"Q5101344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949ff278529f1bca42316a19598fbc99b39e12e0","datavalue":{"value":{"amount":"+0.8074076771736145","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":"Q3384888$D62F7E2D-0B88-4EFA-9F0A-47A3BC7B2474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b50f8b9d3a76808ea1108150d783d6e259ff138","datavalue":{"value":{"entity-type":"item","numeric-id":1757840,"id":"Q1757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf1c8fa7bc7e2a9db9e1753bfc41534a6884293","datavalue":{"value":{"amount":"+0.7994106411933899","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":"Q3384888$4C637118-D76F-40A7-A140-8C11FA401E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52a7589645de3eb4166e599262dba7da6ae12b5","datavalue":{"value":{"entity-type":"item","numeric-id":832277,"id":"Q832277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163619b77ad45918e29f823777dedeb179f7725b","datavalue":{"value":{"amount":"+0.7988357543945312","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":"Q3384888$A06AE55F-2C4E-4CB7-B242-36547B3CCE4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384888"}}}}}