{"entities":{"Q1854510":{"pageid":1865252,"ns":120,"title":"Item:Q1854510","lastrevid":73666785,"modified":"2026-04-14T16:50:48Z","type":"item","id":"Q1854510","labels":{"en":{"language":"en","value":"On the complexity of verifying concurrent transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853244"}},"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":"Q1854510$FA440FE3-DC21-4FE7-8744-EECB4C4C6FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9fa049aeaf70a8e12ebf928ac487777fd9a1fcb","datavalue":{"value":{"text":"On the complexity of verifying concurrent transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854510$EDC4805B-1F25-4394-8CCA-9D82D0EB6C55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3db7da195db7f06eb419853d465b9d6d8fe126b","datavalue":{"value":"1009.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$5A9D688E-F642-4DE7-857F-AD3B31B7AA59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$05045397-7A7F-49EB-88D1-2BC42406E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$D7EEEACA-A564-406F-9517-4714D4BC5A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$476671DD-E771-461D-A58A-E8454C4C139C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$F9CE9B42-F1C6-4C6D-907A-A1CF26E448A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854510$7291FCD0-7FB3-41FB-B7E9-F7A4BE5D2954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$3B899290-B2BF-48B9-A28D-32B38312A79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$53A008C0-C29C-4D5A-8C55-CDD772245DAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6a83fa2d5f9897dc0eaa8874baa1d034bae5ddb","datavalue":{"value":"1853244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$D0F23E3F-9F4E-4EB4-BDC8-FA6C885DDBCF","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":"Q1854510$C0D5AD27-2E68-4B39-8E3D-13F888135D9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e0b98a9bc071af70b10d817e32ec2b38bf66365","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2920","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854510$257FF423-C8FA-4CEC-B912-1CD9B98EF99B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05b71d86fa55d4ab2e1ae7f16ed3f8b632e4eb09","datavalue":{"value":"W1966825814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$23C14ECF-0A1C-4D47-B69A-C46A58207755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$F129B11D-7C4D-4AC3-ABB1-EA2167BB0887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$B4C010B6-C930-4D0E-A109-926745ED6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$B85F92AE-A6BA-4D8B-A556-0514B529C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$CE60812E-81B3-4FDE-93A2-452DDFD733BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$8C595BE2-6B5C-4281-B55B-A5000F8579EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086517f50692c1c967a949e0e425d53b0a63409a","datavalue":{"value":{"entity-type":"item","numeric-id":3681913,"id":"Q3681913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$1EC27791-81B1-4F0A-A800-711B524E3E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca3208fe666af7f6e0c7ef1865fd237bf19d8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305672,"id":"Q4305672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$A98CDB85-71E1-4471-8551-B69CBDAD1468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$A3C2F87A-4C22-4B25-9384-CAB03B6A77D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d404b854228362c6b5e5cd78beeea42aa5be700f","datavalue":{"value":{"entity-type":"item","numeric-id":4259992,"id":"Q4259992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$192C82A3-B00B-4982-9342-86BA130DA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$B684A1C6-1429-4E52-AE56-291ED8D60E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$32147035-1DEA-4DB4-8EA9-F97BC78D9000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00c4a962f9e99ef72cf5ad5e884b86cfb17e25","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$B1604298-663B-4266-89EC-28211722277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$F1DB31D4-8303-46AC-81A3-9A6762853E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$F4A240F4-B717-48C3-A0C8-C565B76262B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$448C332B-A43B-48F1-B953-3E38F795DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357cdfb87c5446d835ccaebc7252250132fd0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1383143,"id":"Q1383143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$EB475D1F-46E6-4D4B-887C-BF4D8AABA90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d4e3b98718d01f4950a0327256683ae3c29a70","datavalue":{"value":{"entity-type":"item","numeric-id":4818858,"id":"Q4818858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$BEC282EB-C9AF-4389-9F7C-C5021BE8947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$60B932C4-5FBB-4336-916D-4AA8F43AA81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854510$E5A7C2A2-D5FB-42A0-BA47-7CFFDABC4C27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ab64045e6035ddf8255b2b7ad6ce153bc26224","datavalue":{"value":"10.1006/INCO.2001.2920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854510$410D54BE-8D74-4C96-95B2-75863621456A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba87aa1c14f407a649d6c34d4d1f8a88132942f","datavalue":{"value":{"entity-type":"item","numeric-id":6044122,"id":"Q6044122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb45e1db971af5dca2ffd98b49b0059d513848a","datavalue":{"value":{"amount":"+0.9980623126029968","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":"Q1854510$C66E3C4D-ED9D-40D6-BA0D-EB5468F9D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19f159fa13fa9078a68edb68ada7b12d8f548b0","datavalue":{"value":{"entity-type":"item","numeric-id":4259992,"id":"Q4259992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8921b80bf7d9487e662cdf31dc428dcc9b1e182","datavalue":{"value":{"amount":"+0.8495278358459473","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":"Q1854510$5ED46BCD-46D5-4BCA-B407-C22FECB93864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645548e6c655fdd9f43ab335fd96c19275fbce3a","datavalue":{"value":{"amount":"+0.786614179611206","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":"Q1854510$72D1E33F-E392-471A-9969-C6BDBF21A6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c41d1f0a228751d21b3123ecec0dde5fbf8a408","datavalue":{"value":{"entity-type":"item","numeric-id":5897405,"id":"Q5897405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3918301c757c637731543c2b9616269f497201","datavalue":{"value":{"amount":"+0.7819557189941406","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":"Q1854510$AE186424-E6AC-4E7C-AC3D-E9CE44FFBE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5806cfd23cdaea9b40beb6aadfb88e0c24e33173","datavalue":{"value":{"amount":"+0.7720038890838623","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":"Q1854510$2814226F-C350-40A6-9F56-A0723FFDF625","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of verifying concurrent transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_verifying_concurrent_transition_systems"}}}}}