{"entities":{"Q4930723":{"pageid":6960305,"ns":120,"title":"Item:Q4930723","lastrevid":91962986,"modified":"2026-06-05T00:31:06Z","type":"item","id":"Q4930723","labels":{"en":{"language":"en","value":"Concurrent separation logic for pipelined parallelization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794756"}},"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":"Q4930723$94C339D6-620F-4B31-8DC5-5D7E8ADF9C24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8342f36b2c24bfc96632ba7312e9c20590b7dcae","datavalue":{"value":{"text":"Concurrent Separation Logic for Pipelined Parallelization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930723$B39FF7D5-3101-4631-9465-38A85AB0C56F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fe56569a023e2214d30438230a6447d37c81470","datavalue":{"value":"1306.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$F3A450DB-89BB-48D3-B4BA-FB320911C995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"342ed48aaa2bf91f7c41f5619c4d8bee6f3f5895","datavalue":{"value":"10.1007/978-3-642-15769-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$2AB7F166-3323-4D29-9AF8-2DA21E972BFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930723$1999CC66-9746-44B9-A05C-133321B7E07A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930723$4DD5C8DD-9FD5-4AFB-96A9-50ABF46674CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$F540E90C-3C4F-4039-8E5F-2A8287D9B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$F470C1CB-6A11-4EA0-9EC4-7C8C3315E2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$09A97A68-0B91-4C04-BF34-7F30508C45A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"863694f70de2eae2cf3539d60099ac78c7ecbc48","datavalue":{"value":"5794756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$64EF7DE0-FD27-4BA7-92FB-A150B8E077C9","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":"Q4930723$B1D18A30-B09F-4AD4-B871-4AB9BDA11907","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a651519cdc59a9091c306b5b018a74ccf96226","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930723$C0A42E53-59ED-40CB-B8DC-1C412EE61E38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d95ab9987c33875ff21734ba9e61e8deda69c74","datavalue":{"value":"W1775543359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930723$E4BEA994-8AFB-4968-96A7-803E2B96648A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c581e951f58f3bce6a6014276c8ace14793f96c","datavalue":{"value":{"entity-type":"item","numeric-id":3617713,"id":"Q3617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a9f5b641a5248a4a1fcb60707f6e6d48765b90","datavalue":{"value":{"amount":"+0.7905200719833374","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":"Q4930723$1C83EADC-94A7-47DA-A109-A3F59C31CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a51784dec193028c5e91e65703c97f98a11c9e","datavalue":{"value":{"entity-type":"item","numeric-id":3392920,"id":"Q3392920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb93a4fb724f3391678c9a04c0a9472ccbe0a97f","datavalue":{"value":{"amount":"+0.7679070830345154","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":"Q4930723$CDB8FE3F-FABD-46D0-A1D1-CA218465DBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229a3a0eba787aa84df1639600e3c6f3356421eb","datavalue":{"value":{"entity-type":"item","numeric-id":3557673,"id":"Q3557673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953d6dcd338f8b8d4c0705d533569fca0c1f804d","datavalue":{"value":{"amount":"+0.7672320008277893","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":"Q4930723$10553506-C4E4-4811-9F89-77839C9E00EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9544de41f81387be86297869277c1a82bc01c1b7","datavalue":{"value":{"entity-type":"item","numeric-id":879367,"id":"Q879367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0565f60a619472143ee2713b310b1f89d442781a","datavalue":{"value":{"amount":"+0.7646685242652893","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":"Q4930723$A3C27285-A245-49D4-9003-2300E78DFCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f72112ae0de9c4ec7fdaff364082f56a8eeb23","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea57f04a202621b3e5aedd66ad3c779bd4642d6","datavalue":{"value":{"amount":"+0.7609209418296814","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":"Q4930723$18D4653E-A1A2-4CE4-A0F2-300982FBEBE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent separation logic for pipelined parallelization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_separation_logic_for_pipelined_parallelization"}}}}}