{"entities":{"Q3303889":{"pageid":3314597,"ns":120,"title":"Item:Q3303889","lastrevid":53785610,"modified":"2026-01-25T17:29:17Z","type":"item","id":"Q3303889","labels":{"en":{"language":"en","value":"An abstraction technique for parameterized model checking of leader election protocols: application to FTSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228150"}},"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":"Q3303889$6F9C42AA-C556-4A81-AB4B-99E2D60D05B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bf4d2a8d0519f347077703f2283a184513139e4","datavalue":{"value":{"text":"An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303889$76D8E8C0-575B-4DEC-9AA1-7B6F17C321B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19f05951241c1dbd118dcde44c2101f377544bf","datavalue":{"value":"1452.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$8BFDAF01-ACEF-47CA-91B6-9AF6F28BF552","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9b3037f17292d83d9fe74a698dfb74fde3a9a8c","datavalue":{"value":"10.1007/978-3-662-54577-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$1687FE0A-3DC1-4F6B-B284-2A730886DF46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7a1ae9b1f7923288c7a62db2760a869010d673","datavalue":{"value":{"entity-type":"item","numeric-id":481097,"id":"Q481097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$B063CFD2-5E3A-4D61-A318-1AED6A728322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$1E34F8AC-E402-4405-928E-CE50C2A39797","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$22AC6A61-AF88-40F2-B3F4-B2DC27137473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3303889$79F93623-D0E4-403A-B8A8-912E7E42F191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$668D2322-E7F0-4EAB-BF10-40A370450A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$A3AE2A63-88B0-4944-B798-7D50606B272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$21C194FA-3595-4F48-BA68-4CB9346E0A84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c670fa03000827b81393cfd20dd97b8d29e39fe6","datavalue":{"value":"7228150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$CAB6A92D-D880-400F-B253-DF8A499A4A41","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":"Q3303889$D1647FE3-70F9-471F-934E-D41EC446271D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de456a5a83af72cb0ee494563a0f1cb35b5339c9","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54577-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303889$41A8C190-E796-4748-A509-1E40DC31E296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"199e36b34f8709726c905548866bf333fdf75401","datavalue":{"value":"W2593961861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303889$18445A90-C623-4A93-A0F3-F64BFB2ED338","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$CE3E3B03-B30D-4542-8D50-DBADE1CEEAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$0E5B4098-AB71-4086-A889-0D79E2D23C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff22db2f81147d05f8884afa73b2e908248b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4176960,"id":"Q4176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$DC1C7419-B629-4EA1-A362-64A9AF4A854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$05CCC77F-8381-427D-845C-ABAC35DD12C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a22f3ef20f11108b2416e81f5c1a0ef4c09783","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$F0608106-89E1-4F04-BEDC-DB811FB76F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13061f68da7af79744918152892311afb29dd4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$066D7C70-DFF4-4F15-9CAE-BA6FF83983CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adae43984d2bc472e2d9665f83bac219a9e0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3956422,"id":"Q3956422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$BD8CEC25-DAB0-430F-8ADB-ECC4C6922ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7414515a925970afe4c8024b57cef12a78e4368","datavalue":{"value":{"entity-type":"item","numeric-id":1391796,"id":"Q1391796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$DF4B5CD4-FF68-4B7A-9245-5BD6413AC3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310abcb0bf6cdb448bbefe6a8a1991a31da0559","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$80880C1B-40CF-4323-93C5-4B50AE6D29C0","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":"Q3303889$868F364C-E745-4D64-B414-F05EC10B445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1dafc3f01ccb5786720a2526b847cd3aefa2af","datavalue":{"value":{"entity-type":"item","numeric-id":4804890,"id":"Q4804890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303889$C8219449-58FD-420A-A747-59A3D0C44993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc120883437c10cd012114f423a1f21367d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3296318,"id":"Q3296318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f4f480247305d45643b70860b7af5dd0b34856","datavalue":{"value":{"amount":"+0.7635592222213745","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":"Q3303889$411CCEAF-7638-4E68-8622-718DF9E34CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1962a2118d6aac37a0dd2e4d5216f0a6615d30d4","datavalue":{"value":{"entity-type":"item","numeric-id":2287101,"id":"Q2287101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5dd388a403775327dbfbe7b079811edcb2ca70c","datavalue":{"value":{"amount":"+0.7545998692512512","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":"Q3303889$578CD396-E649-425B-9327-6483AAA80BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f8d0e4bea38103802cafccfec541e3bdb8dee1","datavalue":{"value":{"entity-type":"item","numeric-id":1989334,"id":"Q1989334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d75863704c91a6f41c13064481acfe7b44fd93","datavalue":{"value":{"amount":"+0.7310129404067993","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":"Q3303889$B81DC4FE-296A-4FE6-AE92-B74DC6B25F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c606eb5114f632fdca61bdf1f885c752cbc98d8f","datavalue":{"value":{"entity-type":"item","numeric-id":2149965,"id":"Q2149965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"066e5c6698feaacd7d7a13d4de87a62339d68413","datavalue":{"value":{"amount":"+0.708454966545105","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":"Q3303889$E152D606-2353-44EF-9449-A15DF9D0637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9237cabff669866ad3cf42f58f9932b989623fd","datavalue":{"value":{"entity-type":"item","numeric-id":1402477,"id":"Q1402477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158c388e9ada99bb4ee9e844f54e7027ec7c2403","datavalue":{"value":{"amount":"+0.7080483436584473","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":"Q3303889$08607125-099F-4CB5-B474-0E598EC09D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303889"}}}}}