{"entities":{"Q2894548":{"pageid":2905273,"ns":120,"title":"Item:Q2894548","lastrevid":84902207,"modified":"2026-06-03T05:06:34Z","type":"item","id":"Q2894548","labels":{"en":{"language":"en","value":"Decompositional reasoning about the history of parallel processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051374"}},"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":"Q2894548$2EA681CA-376A-42CF-B109-0349F7DC7EA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95567fcd8b73178eb00752e4eef5576bd7fafe30","datavalue":{"value":{"text":"Decompositional Reasoning about the History of Parallel Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894548$CBAE8782-E896-484B-A06A-54909DA84926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37b190cd374bae17035fcf496f0e126ae938a9d4","datavalue":{"value":"1353.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$83BF0D97-CD54-474C-9D14-902D2AC44767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88caeb1834f6e01ab9041f419879cfae0444a741","datavalue":{"value":"10.1007/978-3-642-29320-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$26FACC54-184C-4852-B13F-28001F4B1572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$194B8771-72BD-48C5-8914-E1FE680971C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894548$44975A4C-ED3D-4AD7-ADAB-CFB99FABC302","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d054b081666b75fd662d263e271efae0cb59614","datavalue":{"value":"https://research.tue.nl/nl/publications/decompositional-reasoning-about-the-history-of-parallel-processes(456373bd-a682-42ac-afc5-e823b2a52394).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894548$E33C2BB6-3A81-4C0A-9EE7-1010FE741E2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$9B2EB258-B3AB-49A1-8B6F-E65E30BE8D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$A54F6F39-2F8B-47DB-A6EF-83AEA6AD369C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$8A38034C-098B-4F4A-A4C5-C35801C47DC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dbf0b234ab5f87c0c96277639fac1ed52e0c207","datavalue":{"value":"6051374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$09DA3792-9A36-492F-BF6C-919EE180609D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$CE566CEF-EB03-46A8-895D-12F50D87BF38","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":"Q2894548$67AFBD5C-9808-4B46-82CD-2FDF0B87E1B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"624c9cf3861b67a4a906a154709dda8c8b13497a","datavalue":{"value":"W2111928542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$85248F2B-94FD-4A4D-AD7E-9E785130A391","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfbc9d5e64ecb64551c9a3bf3186a22ddbc98d86","datavalue":{"value":"Q57745542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$2BB8415D-37C5-445D-BA1E-218A2DD132F8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d0e7515ad27f4b032e89d14f356c403402f9b50e","datavalue":{"value":"conf/fsen/AcetoBIM11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894548$9FDA78D9-546C-41A9-A6E0-4FA98EAEBA90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$E8D5C4A5-5A14-46AF-9FDC-15346BCF6517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f3195ed19de85b453b19274fc3bc315f9e98ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3100901,"id":"Q3100901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$398C94B2-88A4-484D-8FAD-8B068C124DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$A9C02B78-50E7-4DFB-A760-A82EF7608720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf76af684c94ba691719fb8f21bdf4957141647e","datavalue":{"value":{"entity-type":"item","numeric-id":835033,"id":"Q835033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894548$143993B9-FC00-49AF-AFC0-764255C63EED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa3ad8672c1515bab0e63013e57bf062b138ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3598a07958bdf25eb4fbb82dbbcf8b38771ae9","datavalue":{"value":{"amount":"+0.7591756582260132","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":"Q2894548$099D3A18-CE5D-4049-9483-2797C03465F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f189954f1390c67fa6aeaaf5b47f5398531b96b","datavalue":{"value":{"entity-type":"item","numeric-id":5900816,"id":"Q5900816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ac75fe29f859c643ee35ead870be8c97b09724","datavalue":{"value":{"amount":"+0.7588247060775757","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":"Q2894548$CBBAA15A-9227-4998-AC21-E5E547A95DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c79e2cac19c6396f3902771fa20158d1d11474e","datavalue":{"value":{"entity-type":"item","numeric-id":2912692,"id":"Q2912692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d11b6793025de4e37587b2e28eeaf06e38966d","datavalue":{"value":{"amount":"+0.7187744379043579","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":"Q2894548$B1E0FD43-452F-4A1E-A839-69B9FAFDE1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34331347e02d515e4ee0fe876e26206c374f5390","datavalue":{"value":{"entity-type":"item","numeric-id":3683529,"id":"Q3683529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4c8202ba57a564640e41e08e0c6ce2560711df","datavalue":{"value":{"amount":"+0.7165139317512512","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":"Q2894548$AF58B678-E68D-4C84-9303-349810032DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2746baae646ec07c0138802cd886209c1c5b447b","datavalue":{"value":{"entity-type":"item","numeric-id":4733383,"id":"Q4733383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae5b637f97ba7e4b525671f77b4477b611317c3","datavalue":{"value":{"amount":"+0.7050026059150696","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":"Q2894548$BB9F15AC-8DAA-40BC-85FD-2B58F1B07540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decompositional reasoning about the history of parallel processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decompositional_reasoning_about_the_history_of_parallel_processes"}}}}}