{"entities":{"Q7013580":{"pageid":21584400,"ns":120,"title":"Item:Q7013580","lastrevid":79397363,"modified":"2026-05-06T13:48:50Z","type":"item","id":"Q7013580","labels":{"en":{"language":"en","value":"Restructuring a concurrent refinement algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8010121"}},"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":"Q7013580$7F87C5DE-B056-4319-AC5E-DAA24E85ABDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8fed50011e035298a89486c8131991beec2a4f1","datavalue":{"value":{"text":"Restructuring a concurrent refinement algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7013580$ED87CB38-9945-40E4-B7D3-CABABC5604C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe230560bf79a443267de3cbcb365adbf43dc99a","datavalue":{"value":"10.1007/978-3-031-68279-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013580$CB1FC5EB-6C79-483A-8E72-6C8D112FA71A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$1986A869-0EC8-4030-937B-85596BC6127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$61E6D0A1-567D-4700-9B30-9350B21D7854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"557753800ac41303926c734ce5c9d597db9c7fe3","datavalue":{"value":{"entity-type":"item","numeric-id":7013579,"id":"Q7013579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$02E4F218-7CC4-44DE-A74F-E18C5DA50CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28c2d66b7c9fe373453e839ca68d461fbfc077ce","datavalue":{"value":{"time":"+2025-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7013580$B722C12F-21AC-40CD-9FE3-75661F3A6BD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013580$30EBE9A8-41C2-4CFF-A89B-D8687E24DF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5742e65654e9d1d9b3e5ed33121fdfa1178f903d","datavalue":{"value":"8010121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7013580$353FA1DB-087D-41F5-A98A-A320E7246791","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":"Q7013580$1CA9453C-7BD6-48EC-9C97-1D7A633DEB8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7d6a339fca70430dce6b181513b15d21185641","datavalue":{"value":{"entity-type":"item","numeric-id":674263,"id":"Q674263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$37312E62-4328-4CBD-8D9B-7E99BCD3904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea30f87d4a0b758732aaf6860adebca2feb7e40","datavalue":{"value":{"entity-type":"item","numeric-id":3055794,"id":"Q3055794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$CA7E1D43-675E-439F-B628-C2151F3D1A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$26BA2142-5162-4D9B-B19F-6DCDD6051574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7eea9779481cab76a91c583cbcea71a07981a","datavalue":{"value":{"entity-type":"item","numeric-id":1682288,"id":"Q1682288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$F4303C42-DD97-4498-B3C8-70B6332FB602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$C8D304BC-BF4E-4D57-8033-12FFA6EC41A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$05681F3F-4299-4C7B-A31B-3DDCA156922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$287B3F76-DCFD-48FF-926C-69FE00841D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$DE380CD3-3F1A-4ECE-BEAC-0B63D9D203A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e188ad760a88b4574ef759d6e2cb79dca59b5","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$55271F3A-753E-427D-B94F-95994B60B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb8b9acf5c0941429f9d82771001b6bfd7ff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$C732AB64-2C42-4F83-9E36-51752F019521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19371771c7a9526f30a9206f34efbdae7f8b5f19","datavalue":{"value":{"entity-type":"item","numeric-id":2414249,"id":"Q2414249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$49049D5C-64A7-4B63-8E59-D962055A6652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$234386A2-1408-4449-86C6-19795DC63A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$9351DF58-191E-4370-BCF3-5DDFE6AB1620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$72BB62EC-FD3C-4B96-A5D8-4377CE5A2E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$6BBA13D0-8741-47C3-8A09-590BA339B5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$0E3A6CC9-0454-4891-9AEC-28E993FF7D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995802fb631b246debe69a675d83853e924274ac","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$037FE283-E8F6-4AEA-A638-25230D90D99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$00842145-765E-4E6D-A759-760AB388071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$4A82A95C-07D9-4757-92F5-B3D218047CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7013580$32143FFB-9D70-4749-AD43-A5437C2EF1F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restructuring a concurrent refinement algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restructuring_a_concurrent_refinement_algebra"}}}}}