{"entities":{"Q6544105":{"pageid":14155249,"ns":120,"title":"Item:Q6544105","lastrevid":42338650,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544105","labels":{"en":{"language":"en","value":"Type-based termination for futures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853718"}},"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":"Q6544105$7AC9F5F6-6045-434D-97D9-A2CDFDC14535","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceb4942ea7545487d946179b65967212ae249fa3","datavalue":{"value":{"text":"Type-based termination for futures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544105$9B827389-7061-4DBE-AB80-E7A5C3D60416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18a541578b86d160ccd08b527bba11822902a4ca","datavalue":{"value":{"entity-type":"item","numeric-id":6544104,"id":"Q6544104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544105$E34CDEF9-F918-4C35-9B70-C7DE49AA02A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544105$12C6300F-83C7-4DDA-AA08-A6532B2CF756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544105$8CC807A5-4F62-4D7F-8A8E-AB02D0A2F7E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544105$D0ADDABA-ECC1-46D5-B40D-EED6A06BFAE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb68d1ce447107119fc5b4a976d2485477f52302","datavalue":{"value":"7853718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544105$43970319-8ABE-487B-9E27-E9D704F03815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e498f1dede412018e94498d16cac132b204d6250","datavalue":{"value":"type-based termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544105$3547D291-4580-4229-95EE-85C76BB69E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87eba31a19b98c71e9abca58a20a6775e063d827","datavalue":{"value":"sized types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544105$44C10CBD-FA6A-438A-B620-5B3F7B4ECD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8a2cf454bdce583121314690edffd36ff168a0","datavalue":{"value":"futures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544105$B4951472-E332-42DE-A32D-CF52F0464448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544105$D630CE72-1081-4A45-ADF2-D122137B43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4cff29fbdd8f8c161bac432917b79c864af8752","datavalue":{"value":"infinite proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544105$DDCEC416-A1AA-4791-80D7-675D5807FE3E","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":"Q6544105$0FC1E06E-5194-4C5D-8A3B-3DECA3308E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b38a302b1277b3cbda215f380cacfacbb84c74","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544105$9FE6AE6D-8946-425D-9C0A-D816F500EB53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544105","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544105"}}}}}