{"entities":{"Q4997235":{"pageid":7026812,"ns":120,"title":"Item:Q4997235","lastrevid":58383942,"modified":"2026-04-04T23:50:47Z","type":"item","id":"Q4997235","labels":{"en":{"language":"en","value":"Horn clauses for communicating timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7364140"}},"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":"Q4997235$5CEDFF20-BBE1-4DFC-B97E-4D61A085C603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32509aceed8886d399905aaefa02300247395093","datavalue":{"value":"1464.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$9E4058A4-4248-4247-B97E-2E1E88338973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d858257cdcd153ab51f401565cbcee0b7efab5","datavalue":{"value":{"entity-type":"item","numeric-id":433343,"id":"Q433343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997235$2E6E5236-7C8F-442D-8B0B-5534D911039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997235$21EC5CA5-559D-4783-87D0-228D0E16AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5dbc4a3b7043aae37ad0be56fd2bf423ed72b65","datavalue":{"value":{"entity-type":"item","numeric-id":300417,"id":"Q300417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997235$1FEA4FC8-F0B2-45AD-BE21-B1DBCE5501DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997235$EBCC3CD9-8DD3-482D-AEEC-9E30B59873AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"639e84e23e0a5811ef2a4d1e54fb7902eb942539","datavalue":{"value":{"time":"+2021-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4997235$E622BD40-492D-4E37-8459-025747A54FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbdd36fe4dc1d1651b010cd7e414ba6efcdeaa34","datavalue":{"value":"https://arxiv.org/abs/1412.1153","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997235$29C11156-BCE3-4220-9FD8-12CEA229D093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"074f3492db7d8e177f812867e9fbf7925d32bfc3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2014.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997235$D7C1A6E2-8242-4904-8D13-DA587B5F2B9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$3928CF52-414D-4F14-9A48-13D888A57988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$BF9F294C-654C-41CC-A207-3291B2D858DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$5C76A4B7-70CF-4F1D-9C55-EA99BB489D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$006D731F-3D24-438F-A353-2722727331A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcea491768e553dd087c2085fda91340566e3a6e","datavalue":{"value":"7364140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997235$1D031A51-6072-4DBC-B919-96AEC666A4B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997235$1931A83A-AB41-4827-9E54-9F86DE001D2B","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":"Q4997235$495424D7-DC9F-44FF-9498-A47B243C3DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce452fa2a9d0d711c6940994fb7d3e8b9cf771b2","datavalue":{"value":{"amount":"+0.7884821891784668","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":"Q4997235$59B48A90-76BE-4210-AA3C-EDF4EB1F109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb82f2e5672faf128fa0200334969a348dc0a99","datavalue":{"value":{"amount":"+0.7836769223213196","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":"Q4997235$00AE4DFF-F97C-4742-BDC9-D30C0E7D6053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b9f56e84b7d8d2ea31079052f55acb23abb21b","datavalue":{"value":{"amount":"+0.7639014720916748","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":"Q4997235$06B313FA-1BE9-4662-9642-6AFF1DE9F85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73deb3d6b0de4960b23851f6dad070d945ba769","datavalue":{"value":{"amount":"+0.760348916053772","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":"Q4997235$1B900A64-FF91-4548-87C7-6F76EFC5FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f9cce06ce80519ffac15a02bf6f5eed362036e","datavalue":{"value":{"amount":"+0.7522956132888794","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":"Q4997235$40FC1E5D-E2FC-4939-A9EF-C76ABAAFACAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4997235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4997235"}}}}}