{"entities":{"Q6159917":{"pageid":13294778,"ns":120,"title":"Item:Q6159917","lastrevid":39735331,"modified":"2024-12-30T18:00:42Z","type":"item","id":"Q6159917","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700608"}},"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":"Q6159917$BA9724AA-B9F3-4B6D-8645-7C6B303131C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159917$5BCF7C7E-EA49-409F-9508-0645977AEC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159917$07BF909F-3C92-4418-BD8A-8C0BBF57B2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159917$22BA0C11-6821-40F5-8AC9-F8E411326BFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-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":"Q6159917$5F6DBABE-6EB5-4E17-B886-76848097DF28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159917$06B11E47-238E-49FE-BEB6-B3D69C2EC4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159917$6AB3D0FB-C1F0-40C8-960E-F279EB51DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159917$00CADAEE-33D2-4562-941D-944B5F078E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4595496231e8aaf17936ffb4fc2fdf238f899429","datavalue":{"value":"7700608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159917$CAE1C4C5-6EF8-4958-9192-B70D0FBCE752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159917$5DFD056E-B87D-47F3-B3A0-59404FBF669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159917$38E5F4AC-47F1-4EFA-BACF-E1D77FBF794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159917$43538481-AA72-47CF-A4FD-C30CDC39AC61","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":"Q6159917$2F235A75-8FF6-4388-9417-479AF8797F97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f1f7fe9229458686b321ad1486c37250861041e","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159917$2D4BEAAE-6B5B-47FD-850F-808B5034C44B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159917"}}}}}