{"entities":{"Q5096401":{"pageid":7125977,"ns":120,"title":"Item:Q5096401","lastrevid":54382391,"modified":"2026-01-26T17:53:28Z","type":"item","id":"Q5096401","labels":{"en":{"language":"en","value":"Automated reasoning about parallel algorithms using powerlists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572225"}},"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":"Q5096401$EDD2D9CF-FC4D-4089-BFBC-5FE4579CF0C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74546ae89b2939a66201f08ecb24e36252920c5f","datavalue":{"value":{"text":"Automated reasoning about parallel algorithms using powerlists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096401$DB57FD48-AF39-4B16-9C22-708BDD941378","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"640341a7e5103a89e85c7881dd4b777700704218","datavalue":{"value":"10.1007/3-540-60043-4_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$4239B2DB-694E-4BDA-B987-4286FD4F90FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$8F3D08C2-93E2-4EC3-8028-775CA26670C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3c07fe67798adad374606ca167de6f17564996","datavalue":{"value":{"entity-type":"item","numeric-id":1856144,"id":"Q1856144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$EBBE6673-0898-4481-AF40-46E9675F75FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$E3A25CA6-2701-476C-A69B-381ADCCFC95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096401$8CFDDFAB-1BDD-41DC-9DA8-B3AA96F19E35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$354FA63E-9C02-433D-88B7-D00D04320DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$CBD437BE-2E12-4C75-8FCD-FCB8F34E3AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$09F734DF-C41A-4AF5-B4F8-E66E23F8E4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$7F566FF3-84E9-47FF-ACE0-CEEDA60A3122","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"390a754f2dc69bb2a90915c3f0fe701d4f473ed6","datavalue":{"value":"7572225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$AE37491B-1DB8-4DBD-B8A2-2331FD6FF911","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":"Q5096401$D204B85A-B2B8-4ADC-BEAA-52D9DB415CCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e515880118ce38d44616aeaeefd5f746c6dc193","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_68","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096401$0DA418BE-1BBA-4B70-9D60-572A6FF03061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4475a344ff38a462d9594d6af2eb1c7bb9e4d7c8","datavalue":{"value":"W1501195639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096401$22AF7AD2-B850-4CAA-8D86-80F4943C1A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$F4D76F3C-9309-4702-AD86-6FEC3AE06862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af01e9ec013751790817dcc321e5646e5e3b612","datavalue":{"value":{"entity-type":"item","numeric-id":1915133,"id":"Q1915133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$13C6CE3E-F1E7-437F-9DE4-CB740354068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b578d56855c1de2e2f897c61ed2ff7168e6c3325","datavalue":{"value":{"entity-type":"item","numeric-id":4002466,"id":"Q4002466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$57867718-8433-4FB4-8873-1D93893D9591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096401$0D4862FD-FA89-4F23-9EAE-35C272132540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48476064502e2e57d17feea2c26b8450e53c375c","datavalue":{"value":{"entity-type":"item","numeric-id":846164,"id":"Q846164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be42b7e07d6cc05a8be3918511b4446eadcdb78","datavalue":{"value":{"amount":"+0.8709288835525513","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":"Q5096401$D8EBD7CE-75E7-4588-ABC7-7B1D9E64FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893bc57f15b16a8df4f4e254140190f4b052b357","datavalue":{"value":{"entity-type":"item","numeric-id":5959860,"id":"Q5959860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10412e84ff291860609d61b9b104aa81c78a0ba8","datavalue":{"value":{"amount":"+0.7905375361442566","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":"Q5096401$DB473CEB-8F06-4AB4-9286-0E8E818771D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c538246696ff75db1e0337957c62770562fa9c","datavalue":{"value":{"entity-type":"item","numeric-id":674270,"id":"Q674270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee66346a125b8fc5efac5b2fb7fdc80c26dfd68","datavalue":{"value":{"amount":"+0.7756873369216919","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":"Q5096401$C39E4ABC-BAB4-454D-B451-97C26C1D1514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965196316d9a26011c191e9ef3e3027c74cc8dbe","datavalue":{"value":{"entity-type":"item","numeric-id":3525099,"id":"Q3525099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf24c592e588d44a8ebc2a207815fc2a04103abe","datavalue":{"value":{"amount":"+0.7707646489143372","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":"Q5096401$342E5726-915E-4908-B660-920B3C8DC8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c3f70b9d537cebde46b69df761e4a83fbccd61","datavalue":{"value":{"entity-type":"item","numeric-id":1916359,"id":"Q1916359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e49658f90bcd788a57706f6c808ccd47bb9ec03","datavalue":{"value":{"amount":"+0.767993152141571","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":"Q5096401$90471F3D-9682-410C-985D-7FAD30FE080F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096401"}}}}}