{"entities":{"Q3021420":{"pageid":3032136,"ns":120,"title":"Item:Q3021420","lastrevid":51301607,"modified":"2026-01-17T16:24:53Z","type":"item","id":"Q3021420","labels":{"en":{"language":"en","value":"Roles, stacks, histories: a triple for Hoare"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5931522"}},"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":"Q3021420$D860023F-A044-4AE2-AB16-AAD4D54E4FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a74b10a5edb51e63a98a02a4df8f47522ef2dc6","datavalue":{"value":{"text":"Roles, stacks, histories: A triple for Hoare","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3021420$F797606B-DE3D-4846-A22A-5BE62D1B6CBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56199537278390c58b226d02ef249262f8f994f2","datavalue":{"value":"1220.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$2E334484-1BF0-411E-B966-37249101638E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e69daa32d8339fe343ddbc3cebe0f5263452e0","datavalue":{"value":"10.1017/S0956796810000134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$D07F4739-18E2-4E62-ABBF-207D9D462E9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$10FE8078-ABB4-4530-904E-AF68B4C8B580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$E2392736-C496-4234-BD92-7EBF445E76BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42ac1d097672349450783a9de9be1c3a85df316e","datavalue":{"value":{"entity-type":"item","numeric-id":543592,"id":"Q543592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$38ECE85F-25E7-417C-9448-AEB022903574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$1C2E4D24-4BCC-488F-AD7C-9776441762E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ead0a5ebacc49f18301ef4964b4f02a8b10dc13a","datavalue":{"value":{"time":"+2011-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3021420$889B4109-42E3-47B1-8DCC-C2342BCF9DA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$29F885AC-266F-4AA2-87D5-C235C3DD8315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$68839F55-5E18-460F-880C-C7996CC5EAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$08D914A0-13FA-4B95-BB92-2698D8D7DBF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e536933c03e3a46ba46daaf3b270a09d674f45","datavalue":{"value":"5931522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$C3D6B258-F82C-4048-81BD-84399183B780","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3021420$3AD1E54E-827A-44C9-869E-BD477F9A21C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$04086029-595F-45FA-B178-EFBA32FBF9F6","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":"Q3021420$52AB79C3-F19F-40DC-A064-26BF1DD8B10D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2098d1c6d59362bcc59c67d035bce3d9e31f86","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$B5D5FB61-059E-41D3-AE32-7CAE032EC1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bf4d0370e73f02ad33b97c00b2a12344329fac","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$D0DBFA92-E7BF-49C9-8563-14034088C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$90F41E17-B294-4CC0-814D-DAE1DCE0251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$315C25E8-DC58-404E-AD61-5F09EE400959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$01EF4D57-78CF-4C47-BC38-EA4979D0501F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$FDD49343-A327-4526-ADD1-641C9BCA9EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$8E108ED2-B0AC-44D1-8776-A3AFEB689FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff26acfa4f7a81a69ac1d22f5faa8f8ec3f24299","datavalue":{"value":{"entity-type":"item","numeric-id":3694680,"id":"Q3694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$7A554AFD-6795-40FC-9220-296E583B73A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7e552624c7482f44c8f176f8e4a3c6ebea718c","datavalue":{"value":{"entity-type":"item","numeric-id":4944851,"id":"Q4944851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$3868D528-7C87-48D6-AB59-A626B081440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$EEE4D921-9EB2-4C90-8A17-A882B6DAFDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0b19ed430efa00b5cabf1a1ac8207f3b19f572","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3021420$8548B3B2-AB9C-4175-83A0-EADF5804FB92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2328353fc3074d935e3e8259b667f0addd034ccb","datavalue":{"value":"https://doi.org/10.1017/s0956796810000134","type":"string"},"datatype":"url"},"type":"statement","id":"Q3021420$912775C1-2327-4FB2-A1AA-4593A67C43DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2a3052c99793f4cc44e647bbef28264144085b5","datavalue":{"value":"W3047140595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3021420$01C64F44-34B0-4C07-BF52-D9B8B0BE214F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aa05e7bdc3210a9448c69f4c0cb3a058d171e2","datavalue":{"value":{"entity-type":"item","numeric-id":3163398,"id":"Q3163398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907e2085c9a284ad7306eeafca25e1913a8d5328","datavalue":{"value":{"amount":"+0.9932952523231506","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":"Q3021420$D82B47B5-9B9A-4EAD-B5D5-DF6390DF1769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25c8c67db24eccaddd556d8e0bb23af28d0a350","datavalue":{"value":{"entity-type":"item","numeric-id":5464061,"id":"Q5464061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03377852dfea88a302e7535b43ad171de36087f1","datavalue":{"value":{"amount":"+0.745932936668396","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":"Q3021420$0B55C188-CF9E-4B0D-91DB-9A20D5FD0A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041ad8d51f5d9ddf4e0b039da1572407c9f97ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2763691,"id":"Q2763691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45d42e38cdd858ee41c0fb388bf735d9be8b0e0","datavalue":{"value":{"amount":"+0.7170161604881287","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":"Q3021420$F6F62660-8872-499A-BD8B-A073DEAD2249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1cfa7be4876c5edea852a97ef58e83d9bef2fd","datavalue":{"value":{"amount":"+0.7152265906333923","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":"Q3021420$A154959B-7231-432A-8AFE-AD68470FF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ebb45dc73027f00fa931e74e0419e997b858ab","datavalue":{"value":{"entity-type":"item","numeric-id":2931803,"id":"Q2931803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93bfefbf959f72d4a48af228652636e93488c5d","datavalue":{"value":{"amount":"+0.7142831087112427","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":"Q3021420$E5E028DC-3BC2-47E4-8F91-87646262B2C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3021420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3021420"}}}}}