{"entities":{"Q903488":{"pageid":905336,"ns":120,"title":"Item:Q903488","lastrevid":65257032,"modified":"2026-04-12T01:21:08Z","type":"item","id":"Q903488","labels":{"en":{"language":"en","value":"Untanglings: a novel approach to analyzing concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526759"}},"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":"Q903488$EBBC21D0-ADAF-47CF-B6D1-113EE862C0FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd22a70c62d3641bbec3a468ebb9a2cf2cf0427","datavalue":{"value":{"text":"Untanglings: a novel approach to analyzing concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903488$0D6ABFEC-63C4-46D9-901B-E936D51BBFD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a11095af23a664f75833dbe1f2ea1a2d666b2e0","datavalue":{"value":"1347.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903488$21FC0CB7-46A6-48E2-ADA1-F39852263223","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7f8ac428c9a7825ad8c9346ea6da18db1694fd","datavalue":{"value":{"entity-type":"item","numeric-id":315284,"id":"Q315284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$065CAFA1-7944-452F-AD16-8892827D12AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d7de189af6390e938c531742a7082558377084","datavalue":{"value":{"entity-type":"item","numeric-id":903486,"id":"Q903486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$472D4A0B-F0AE-442C-BB97-03A1D425CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64ea789af695ddff0e8edc6d3084817c11bf1b0","datavalue":{"value":{"entity-type":"item","numeric-id":903487,"id":"Q903487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$B9DE2745-29C6-4ABD-8F0B-B44A63E8B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4921c7696c9212305f189a2fe1387286a14fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":973033,"id":"Q973033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$CCE31528-02A8-4A48-8F7E-D663F3AB0F32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$9B462A70-2E3E-4E8C-B3F5-997D41FE772C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903488$2F7EB289-9C88-4A1A-A463-B8BC94D6040D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3ce50461b8d73f406f273370b19e16dc60c5f05","datavalue":{"value":"http://hdl.handle.net/11343/224173","type":"string"},"datatype":"url"},"type":"statement","id":"Q903488$3CEFC0C6-C8BC-4DDD-815D-50C2B708FD0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903488$58F252E3-A441-4E9D-A080-C0526A26C379","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37d35fc8e9535535d4ea171c875fb47d7a002f53","datavalue":{"value":"6526759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903488$5775EF43-CA52-42AA-B8CB-A1C1A8311328","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q903488$DF74B7D2-3000-4D35-A4DF-9C66439A9293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q903488$974820C8-8290-47EE-A2EF-752FBE9BD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d620e0f253cb092677fcfef4302da8f9f40c2ca2","datavalue":{"value":"representative untanglings","type":"string"},"datatype":"string"},"type":"statement","id":"Q903488$E8DBD2E0-1D41-4746-8056-3EBD7294CD5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c79ca5c62b8e9795a51bf4c27269761997354c66","datavalue":{"value":{"entity-type":"item","numeric-id":44881,"id":"Q44881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$09442BBB-A88E-467A-B616-9924313C5671","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":"Q903488$DF5CBEAC-5F37-47D7-ACAE-BF0999DABB77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1845ccc16cf57098df7ed9300a725956ce2522d","datavalue":{"value":"W2088752438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903488$1FCB9AC7-A82F-42CD-A237-80868FAFEB36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9cb3681cbec3087b5d04cfc8162fc676b04e3f","datavalue":{"value":{"entity-type":"item","numeric-id":911779,"id":"Q911779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$22A63A82-18C7-417E-9168-A03FAA93DB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$C85742B2-F51E-4C9B-B662-7B3D2AF578FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$C50D5C2C-F49B-4856-BBAC-95D0352AB22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$5904CB72-3EDA-40D8-BE86-3C11F07A98A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$96AE8E29-E299-49A6-BD95-CAB39E93C4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$24D70862-19FF-48B1-8177-AE278A55D6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$F7A27E5D-E31E-448C-BFA4-63A96D1E7AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$E494AF4A-2D3E-4CBD-A0EF-05320143AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7562b5adde65e895e3400020626d94cdf910ba93","datavalue":{"value":{"entity-type":"item","numeric-id":854679,"id":"Q854679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$4A1408B3-0C31-4B09-B33D-EC82DCE20111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24899ea1896826dd87ff8fa68edc2da027bbd975","datavalue":{"value":{"entity-type":"item","numeric-id":3011883,"id":"Q3011883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$DB79BEE0-7CA0-4690-A801-09244435828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$08CC62BB-B193-4450-B31B-B2466E1E98FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4da4dfe5d34b9315297ae73f401ab40eab8a7","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$AEB1A528-FA1E-49CF-9C82-CB1559D210A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90757cb96e212ffeb839127ad70f80605a03825c","datavalue":{"value":{"entity-type":"item","numeric-id":5166766,"id":"Q5166766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$818D8D75-30B3-4C78-999E-78A44DE5F53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$8EAA4A76-7099-4250-8A0D-56D171B5611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$6F0996F4-4B0C-4239-ADAF-C3C78E477B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66010ff9c50315eeaaefecd6fec2bfb3d0e62dc","datavalue":{"value":{"entity-type":"item","numeric-id":5300864,"id":"Q5300864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$D79CEA4C-B1A1-41A3-9FD3-AADE1125B5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903488$52CE9DAA-BC85-45A8-AC49-3526ED80DEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b04c0f3cf3a9d3ae7a6c6a7c91f6e5e582f41951","datavalue":{"value":"10.1007/S00165-014-0329-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903488$AB11AAA2-0642-4DD1-B17B-D652B4CAF8A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9629dee63021ec07a30e2e0f6fc2bea978274f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2866342,"id":"Q2866342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce445c5e0b13d506fcbd0a2e8801cc5b4d207761","datavalue":{"value":{"amount":"+0.7339910268783569","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":"Q903488$73ACCBD7-7A36-4D58-8474-2633A85C9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b793577bd9a5bd2630cdb2e949521c9d3a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e665853cc1f283458088be9352a7566e974e18","datavalue":{"value":{"amount":"+0.7069522738456726","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":"Q903488$21B4BECD-3586-402A-9E08-C7F6EEBF6084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d367c89a5659a06bd58546ffad10be3e61a739","datavalue":{"value":{"entity-type":"item","numeric-id":2465670,"id":"Q2465670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34fa590fb379a457b35c4110b1cd667ec379ec5","datavalue":{"value":{"amount":"+0.6779513955116272","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":"Q903488$C1345974-ABFA-4646-878D-8F2DC1355D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cbece13fb97969a9947a855730e2d1529079ca","datavalue":{"value":{"amount":"+0.6708130240440369","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":"Q903488$D8D440CE-A3AA-4C3E-9C78-43F32B457CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1a733e5527bd131d5a714769fda86cfd09db39","datavalue":{"value":{"entity-type":"item","numeric-id":907263,"id":"Q907263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5db20841d88b1d78a676111bed1544cf4f11380","datavalue":{"value":{"amount":"+0.6680806875228882","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":"Q903488$1D0841E3-5338-4B13-9825-DD46A5A64A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untanglings: a novel approach to analyzing concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Untanglings:_a_novel_approach_to_analyzing_concurrent_systems"}}}}}