{"entities":{"Q7147019":{"pageid":22056375,"ns":120,"title":"Item:Q7147019","lastrevid":107094416,"modified":"2026-10-23T10:56:48Z","type":"item","id":"Q7147019","labels":{"en":{"language":"en","value":"WITHDRAWN: Towards a Higher-Order Mathematical Operational Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7147019$3968CC3B-3EDC-46A0-A2C0-A6E5EF71D640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7147019$AFF2E82C-2F60-4AD0-9E6E-373A92D94435","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"f4413d99de9e375a46fa7a468e1d40a1852fde53","datavalue":{"value":"2210.13387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7147019$A0045DDF-1FF8-448A-8154-D89ACA039187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7147019$F6CA8F21-E50D-4776-B282-4E28624C8334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7147019$3AFEB509-33D3-4FDC-8B4E-0E8E9B31C0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7147019$788FA1C8-6BA1-4E92-A60C-F5BFC4E6F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9224a7a4b8c2d79c81ee4a3648aed0c13fa1618","datavalue":{"value":{"entity-type":"item","numeric-id":2229233,"id":"Q2229233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7147019$0F40977A-7DB8-485E-AE2B-491F78A0CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7147019$6C83C7D7-FF72-40F8-860A-4779A0375C02","rank":"normal"}],"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":"Q7147019$A2D3D5C5-2115-4DE9-8B78-6261A8AAD5DB","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":"Q7147019$9ED1B02B-CF8C-44E4-BFDB-2D75D3DEFB7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WITHDRAWN: Towards a Higher-Order Mathematical Operational Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WITHDRAWN:_Towards_a_Higher-Order_Mathematical_Operational_Semantics"}}}}}