{"entities":{"Q2843861":{"pageid":2854581,"ns":120,"title":"Item:Q2843861","lastrevid":83755835,"modified":"2026-05-07T10:52:05Z","type":"item","id":"Q2843861","labels":{"en":{"language":"en","value":"Model checking for performability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201513"}},"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":"Q2843861$AFDE172E-9BD5-4C18-8BA7-C181907DB409","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d78e3ffd4561897a311d06a909f6ca0fb313093","datavalue":{"value":{"text":"Model checking for performability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843861$83614980-AEB4-46A7-B174-41B56ED252AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3faec35446f2337fae4a7da506bf87b6c9b766af","datavalue":{"value":"1358.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$A932A6F3-9C24-4698-88DD-DA9695BA17EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d64cab8c2c5e29322641bb98a42e4913a06ac3e2","datavalue":{"value":"10.1017/S0960129512000254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$A7CB1FDF-B528-462E-AF17-15AF97103716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$7FCA159E-CF4D-4F8D-AADF-CB32A1A12E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2e128d1893afac7ce739c02a6083e5282dc6b0","datavalue":{"value":{"entity-type":"item","numeric-id":686333,"id":"Q686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$13EF332C-5076-48F4-99EA-51F87BEF7B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$3B578514-4FB0-4914-AD38-8C37116BB2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$08514BFF-D6FB-4068-A155-2D6D1F516F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$84E44F7B-7D82-4E4F-9415-062771C21221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843861$66599F07-274B-4748-A3C9-A658DB2569D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$53DF4BBD-2E2E-4F7E-9B8B-BC93DFD653B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$E6625653-5F93-4927-835C-5DE3C5C57DA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de0292078b41443e8aa19f7d85a2482f89deedc3","datavalue":{"value":"6201513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$AE170C08-2C58-460F-A9B9-77614B33B104","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"391358600b41a2ecbf8d6d850d586d6a4b67482b","datavalue":{"value":"Q57800990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$043745A5-7120-47B6-9F42-215F672E4F6E","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":"Q2843861$9390D46A-B585-4A64-8A13-0F990F3DF917","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2b66261d6633c12f70d381cd1150bd454ea5f","datavalue":{"value":{"entity-type":"item","numeric-id":4526206,"id":"Q4526206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$848BCC81-C945-4789-B82D-26306D27B5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964567a06f27f740678d5c53fe7dd01e662c7e35","datavalue":{"value":{"entity-type":"item","numeric-id":2474054,"id":"Q2474054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$553375CD-BF5A-480B-AB32-8437AC60B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$9F929DCF-6152-4DA8-9D67-6BCDA207F081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae2538fc8d2d22a325f9c06cc9dd15cff1d3f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3600474,"id":"Q3600474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$58731771-4C50-4E4C-AAB5-8FCB4507074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2383af19b89dceb8df6d73900f6c3fb59318a","datavalue":{"value":{"entity-type":"item","numeric-id":5429326,"id":"Q5429326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$43FB3D2E-08A6-4E24-B13A-8D8A281517D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e30e49b25e27ce41c05a912022c267c76a5abe","datavalue":{"value":{"entity-type":"item","numeric-id":1400289,"id":"Q1400289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$974FEDED-0606-40D4-A059-365696BE10C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e9aec68c2995a92dc5b9364b59f8ba7037c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4332102,"id":"Q4332102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$92C2C6AF-57F2-4B46-9D03-F63D58B5AB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42349f922e9c1a3e0f56a4bcf2da0c8ca325459","datavalue":{"value":{"entity-type":"item","numeric-id":3337918,"id":"Q3337918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$3434DA27-85A4-4F5E-9B35-B3D02CC7F61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d2d8432c3d1014a5aafd5e0061a48e53187926","datavalue":{"value":{"entity-type":"item","numeric-id":3766803,"id":"Q3766803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$48A31E35-1E02-4C55-8902-666A0ECC560E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$7AEC72C4-7018-40FE-BF3B-35D51B9CF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$8A3ED542-DF6B-45F8-B0FB-AB5B8F5FBBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52546f301075061d67bd55ccc16f57fafa5d854","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$04D5C46E-7B68-4E3E-BFDF-07B2DABFAEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b395c26163bc4180a896dfe422e5dd9f59f56cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1577470,"id":"Q1577470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$E9F6596C-F4AB-4E79-8F6C-D9CA8CC05A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$8BF5B1DA-40DC-46D6-9096-B67470004DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd7acb71a63cfa855d1bd9ded95ad8f7681fd51","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$52438990-95AB-4CE7-89E3-59FABD5CB866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f442b778e124e6725d5e24b2923c72eca216e3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4734590,"id":"Q4734590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$F624999E-6DE9-4BA7-B1B9-3499FED68E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0752ac5f7587949e1a733d513c4e30c3a7b4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1101812,"id":"Q1101812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$4902359F-7A3A-49D8-BBC1-8822051C94DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1dbf3bc4a9c2d62ca89d685b60252fb8416372","datavalue":{"value":{"entity-type":"item","numeric-id":766176,"id":"Q766176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$A984D8FC-2267-4C3E-A5D8-1F933FCE0F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ec04d753143a84c8df613afb08de87e7b90c87","datavalue":{"value":{"entity-type":"item","numeric-id":4309196,"id":"Q4309196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$D0368008-796A-44C2-A340-D423D5096420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873ce7055ccde0a2fd174af35c0c2912e62ff225","datavalue":{"value":{"entity-type":"item","numeric-id":5544816,"id":"Q5544816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$1995E572-8B8E-4FF0-91D1-4D9F940717EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785e9a9454274218b35030d64e48d2c339ed77d1","datavalue":{"value":{"entity-type":"item","numeric-id":4004638,"id":"Q4004638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$64224ED8-972C-4A12-A2E0-58CAC2842846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f17eac7d063067ac67c6ec6c4277d393afe0f7b","datavalue":{"value":{"entity-type":"item","numeric-id":968359,"id":"Q968359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$E3C64E49-CDCA-4871-AE17-0AD67C43CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$8BBE6916-AFB9-4646-881B-B5B78F1800C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290c92b976dfe547a51369bc3c3549fd420e2b14","datavalue":{"value":{"entity-type":"item","numeric-id":995461,"id":"Q995461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$66E78124-6BDA-4724-AF38-4D00C2FDD6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$8E1E82D4-D0F6-4CED-8162-0767F2F1284C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"946bc255f602927c562a4baa15a56f4af0c1de6c","datavalue":{"value":"journals/mscs/BaierHHHK13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843861$0EDF2A4F-8A5F-4AEA-9EAA-5BFC80628C38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843861$529268BC-F4D4-4D28-9E9D-37EE7FF2C08A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f4f696a2152be24feaad5e094e39488e32b04","datavalue":{"value":{"entity-type":"item","numeric-id":968359,"id":"Q968359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f024085ee4bbdc52f1893f2c9757b634613e0766","datavalue":{"value":{"amount":"+0.8927658200263977","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":"Q2843861$E898BAC8-7A4D-4E5E-A63A-665939D27B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6cb31b97ac514b6022e7162a9f4fcc73cbefa8","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae486f655f48ef44087f1e632cb0d83b59ecbede","datavalue":{"value":{"amount":"+0.8250946998596191","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":"Q2843861$D74C5B99-E3DD-4E1A-9EF0-50D7FC6CCC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c3eecf858596991502bcaf16c971945f00ecb3","datavalue":{"value":{"entity-type":"item","numeric-id":4411090,"id":"Q4411090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e248cb679fc6c9a2dc5b036d6f53319eb858ace","datavalue":{"value":{"amount":"+0.8196742534637451","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":"Q2843861$AD0241E9-5727-46C3-9B1E-3DC3BF07582F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49de3af6c398887b88a1b9f6ae28231a051b7f82","datavalue":{"value":{"entity-type":"item","numeric-id":4665739,"id":"Q4665739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e248cb679fc6c9a2dc5b036d6f53319eb858ace","datavalue":{"value":{"amount":"+0.8196742534637451","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":"Q2843861$F6E59B9E-0D61-4F23-AE42-632020762001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72c55a28878823529b6ea159814c5e2eb6c641","datavalue":{"value":{"entity-type":"item","numeric-id":2848429,"id":"Q2848429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f482a5cebebc7d3142919359538ec8489fbfd40","datavalue":{"value":{"amount":"+0.8057330846786499","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":"Q2843861$A3158FDF-201F-4840-88F2-C16632D3873F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking for performability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_for_performability"}}}}}