{"entities":{"Q647400":{"pageid":649249,"ns":120,"title":"Item:Q647400","lastrevid":51371870,"modified":"2026-01-17T23:34:55Z","type":"item","id":"Q647400","labels":{"en":{"language":"en","value":"Synchronized linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977611"}},"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":"Q647400$556B1CF4-AE44-4D41-89D4-EDFEA5578362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f475319128699f0df92ddab087175baff1a1eb5","datavalue":{"value":{"text":"Synchronized linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647400$876E1000-1202-433F-AB93-50D89258AE52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"911d872f3c42b1b1096698518af9b15f63a65709","datavalue":{"value":"1271.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$A4B279EC-1742-443E-A8DA-7CFE731392D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$B77C7FB3-77E4-40C0-BBA8-87A55B8C2A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$4FA7D5FE-99E4-4B07-9B10-136083292E24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$8595FC2B-B431-439A-B2A1-BC3A48A77FF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647400$B57C7DEE-F94B-4B33-8E21-8222791C6C33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$096804E1-0F8B-4BDA-BA3E-3CEC5FDF2628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$2D551668-81F6-484E-B195-1E861FB8EBFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24657ad072863ba8a295e82f5a940a1874518875","datavalue":{"value":"5977611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$8EC2286D-97EB-497F-BA55-A80628C6AAE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647400$A9AA4F80-C389-45C3-BAC5-BD7342212B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q647400$6C3AF23D-2CD0-4739-A90F-EF287DC67A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q647400$CE710ED8-B574-4CBF-8705-6B524DFD282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q647400$F93DF251-AB72-449D-8BDC-641B8E741EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q647400$5F0D58CF-99EC-491A-8189-92C4B7399604","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":"Q647400$70E7AC66-640E-4304-A310-3816010B611F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7d0597b1929526563c15be8363632d5af0219b0","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9357-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q647400$DCAFAB9D-91E5-4022-B56D-906908225385","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76d9c11c8e519b1c98fa3e2ac335caa62389b812","datavalue":{"value":"W2086839141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$AE98EA93-D971-456F-82DE-B78959D5A572","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$49B7272B-951D-43B4-85AD-CD1C8BD9A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$5AF78FBA-2C70-47C9-A7CF-623C28E26530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397be8364a08cd0003a383a64fb0d05481c07cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$DAD4A646-24D4-49C2-AA03-17C654EB3DD5","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":"Q647400$C420E0E5-35E1-4660-84EF-C7835EFEAD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b567d0562bf33afe8e81e212f024b5c5a9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$801CE9D7-5188-4AAC-BA18-224515BAA4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$F2C79B20-4D19-4066-9D68-47848629D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0580a8f02cc735ab177ad8422ed0b85e5f02b040","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$FBD095F6-C9E8-4E69-824E-FADC4CE1331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$1568BC51-F9C0-4F61-9E8B-EA1C28AC55D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1647cb3113e31824a69694c102dc4518c93e257","datavalue":{"value":{"entity-type":"item","numeric-id":1267081,"id":"Q1267081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$8068F656-9C22-44D9-B8D2-C410423B503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$052DAAC1-01DE-4DF2-A50F-FCFA11F462AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$758E48E8-293B-44B5-AF01-1233AAAAB4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647400$1096CB32-BF6C-4381-9DAC-B8FCD04ED094","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4ae7676eaf60b8ba80e64305a75485186ec8f7c","datavalue":{"value":"10.1007/S11225-011-9357-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647400$9FCB0C49-810D-410B-9A9C-75013FBA4B45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe936c1ef4a9275230ead4ac90045b7bd342ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1372360,"id":"Q1372360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653068cb8d6c277d248a317183c17cf1defea771","datavalue":{"value":{"amount":"+0.7665544748306274","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":"Q647400$475D0EE9-C29A-46CE-A4C5-72C77849B5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb651637067c4dc7c2130a02fdfcc9b53cd43028","datavalue":{"value":{"amount":"+0.7660425901412964","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":"Q647400$8D7511FE-A4F4-4AD2-BB6D-7906CDF04058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1e10ff7f713ed33efdcba9029c509468cdbace","datavalue":{"value":{"entity-type":"item","numeric-id":4373557,"id":"Q4373557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe4406e10c3bb4b4f66cb0bde61e0abe0121191","datavalue":{"value":{"amount":"+0.7638557553291321","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":"Q647400$77436DB5-B5EC-4A37-B4E0-D82949FCC97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcaba2fd98080425a3be2b11d79740e6e6b7f60","datavalue":{"value":{"entity-type":"item","numeric-id":2757835,"id":"Q2757835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a8b64db89eed7aafc97a7fac6cbc4b962ae9ee","datavalue":{"value":{"amount":"+0.7621350288391113","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":"Q647400$E5B06F62-2537-4BC3-8521-2F6F23454CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aa3dcda7621c0f67f1f397a8e1414dd729e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f84985b37f758ce2bb7fe9da12d3fdeef204b1","datavalue":{"value":{"amount":"+0.7596947550773621","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":"Q647400$DE6992E0-08BE-4E13-BC9D-2DEBAD7C92A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647400"}}}}}