{"entities":{"Q2961569":{"pageid":2972294,"ns":120,"title":"Item:Q2961569","lastrevid":58075677,"modified":"2026-04-03T17:13:43Z","type":"item","id":"Q2961569","labels":{"en":{"language":"en","value":"Dynamic reductions for model checking concurrent software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687360"}},"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":"Q2961569$CF3C63AB-9B64-4DDD-9375-89AA757D0900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c4e3754677737a827fb809b0b18aca8571cd76","datavalue":{"value":{"text":"Dynamic Reductions for Model Checking Concurrent Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961569$C21ED555-60E4-4465-918B-CC0457B2DD02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"355eb4f3f9a51a06c225674c334f10a02bca24e5","datavalue":{"value":"1484.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$D40DCB06-A7BA-43DC-B56B-9F6937F23FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d9edc823fec23dc57803b414c9cef0c926d868","datavalue":{"value":"10.1007/978-3-319-52234-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$E8D5EBFE-5D31-4542-8F08-41A2D643BE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e70aa3d337d2b8c916b6e2d205068148c07c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2961568,"id":"Q2961568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$AACCEE39-154B-4750-ACB3-21A141EA3B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd6039760e2166f62929ab4e772c45cd83a7c74","datavalue":{"value":{"entity-type":"item","numeric-id":2060757,"id":"Q2060757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$A1EA13FB-097C-4288-A7C7-395D4CE707C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$B57BE17D-5F63-4F87-92A2-7F2362AF4D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$59563997-33E3-4A03-B9FA-6DE7301017B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$7933E42F-8C76-4093-9462-0FFB9E23E260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961569$3F603A9C-9910-47AF-A20B-5175C3F6A146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be63ca727d7c2e4fdc15d06734e5ef7f538319e","datavalue":{"value":"https://arxiv.org/abs/1611.09318","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961569$54C8800A-9248-4CBA-8246-5EF844BAD09C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$D9422CAC-BE12-4E00-80D6-DB9AA103A9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$3CEB34F2-ED46-40E8-AE78-39859B3844D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$88CDAB2A-2A39-4B85-9858-3C8AC8F87D4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f1d471fa940fcc0df71dccbaac8db73c263d0ad","datavalue":{"value":"6687360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$989F7E82-99FA-447B-8CCF-1C15BF2BD4A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18407fbdc0151f0b5ba9a01c199138cbfc2a4f45","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$ECA13C8C-35A3-4B33-8BC2-97A6AB80B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e3043557f9be74ad36287065defaab3bde82244","datavalue":{"value":{"entity-type":"item","numeric-id":33317,"id":"Q33317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$208CCB81-C1A6-4E5C-B592-3397EFD48349","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":"Q2961569$65B827D0-94B9-4A77-8211-079DE5A37F44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9526c809fa4025bf7e5c0e676fa758fbabcdebd3","datavalue":{"value":"W2551596431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961569$339C8BD3-331D-4BC1-9A73-2556371BBBE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$58BEF8E6-FB82-42C5-857E-C397A988EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7f4489d4c89d794424e5e3872c38fe58d4c967","datavalue":{"value":{"entity-type":"item","numeric-id":5429342,"id":"Q5429342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$DB13DF82-251D-4C8E-AE70-D58BBD7E7827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$9083009F-B8AA-40CE-B91F-C7E37EE2E567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$C90F6A4B-BEAF-473E-AA6C-7314BF9E640B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e637664223baed82911ee36f1459cc7b609050","datavalue":{"value":{"entity-type":"item","numeric-id":1888204,"id":"Q1888204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$63626321-0584-4469-9CFF-9C489F6663FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$0F2ABCC5-AC79-4F6C-A83D-40C0A384396E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$52E747A0-EF52-4C21-8A46-4A8C7A2FA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11cfaf3c08b2363e6f56df2b74e6694032484e5","datavalue":{"value":{"entity-type":"item","numeric-id":2845505,"id":"Q2845505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$F8307690-8459-4DD9-ADCB-E43C870F6A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf019341c8cb5ea0f97a20ded30102b1e9149a2","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$6ADD3814-05E7-4C27-8A6F-16A4C74206A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$7170A1B2-D91F-46C8-B978-0DEFC0EFDBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb40f93e0bb6636634e64ac73797bfec66c823d","datavalue":{"value":{"entity-type":"item","numeric-id":5276140,"id":"Q5276140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$47BE0C97-2C27-4C03-BC08-DF5E5D3792C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$DF988377-622C-4145-A490-F3B078959250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bb24c441844cf5389be078edf3cb2a3e2f8c61","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$597548AA-85D0-4BCB-B736-E4C7C96117CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$57CFF6E2-217F-4D1B-8474-C9C5A7C50BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$F8EF2BE7-4E54-4F2A-BC68-7411F4CDAA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$04E9A0EF-6C28-4929-8C1E-4FD340C2022C","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":"Q2961569$070505BA-EC70-4494-B7B0-C9D750B95A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518328512ed8408b1cd2fba94734909c8b1433ba","datavalue":{"value":{"entity-type":"item","numeric-id":1600652,"id":"Q1600652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$D975A582-F9AA-4C55-AC21-66824044C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54104d31282fdbf4e787a5193ad720b7f1b36289","datavalue":{"value":{"entity-type":"item","numeric-id":3750150,"id":"Q3750150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$5B67563C-4C9D-42B3-8E14-17065E9FFFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb39e9c8a4eec4c08c36fc91d4f47d95c1879e5","datavalue":{"value":{"entity-type":"item","numeric-id":4417951,"id":"Q4417951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$1FD33CF4-4685-487D-A3D3-86C7E05F4D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961569$9014B385-BCF8-4D5F-AFC3-7D38AA12CD6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e181668291e1f774413ac2c09736e56cee4e19be","datavalue":{"value":{"amount":"+0.824424684047699","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":"Q2961569$67EA4393-03D3-4772-8FC4-D7EB07F0373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c693935527fafb22328f44f307e4e22640f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5756735,"id":"Q5756735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb348c8113ef10084f2993cee47c30feff6c8c3","datavalue":{"value":{"amount":"+0.7966190576553345","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":"Q2961569$D01959A4-38C1-4A5C-8566-639B64BDC480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4c676dc048547999a54a203e9646d84b731faa","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c32ef3d717aa290ed197c6212dbcafc1edcc713","datavalue":{"value":{"amount":"+0.7924926280975342","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":"Q2961569$F8635D65-A442-4CC9-8FAD-27CF9A0ED77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d981870c91184dd41f32a3b54032ef4f6bf59d4","datavalue":{"value":{"entity-type":"item","numeric-id":2845504,"id":"Q2845504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a1424d1b385a06e73dafac9f003ee6ea477c9c","datavalue":{"value":{"amount":"+0.7852392792701721","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":"Q2961569$C52DAF33-337C-46A5-9E6B-52D81541CABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b14cf743ab3eb0e00763b7d86e0dd46e4047ab","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a7bc41d3ab3f16d6692b128ffc572d12da7fe3","datavalue":{"value":{"amount":"+0.7786387205123901","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":"Q2961569$7DEA096C-7DBD-4D7F-9510-7881AE1C49BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2961569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2961569"}}}}}