{"entities":{"Q2842857":{"pageid":2853577,"ns":120,"title":"Item:Q2842857","lastrevid":83849342,"modified":"2026-05-07T12:59:27Z","type":"item","id":"Q2842857","labels":{"en":{"language":"en","value":"Effective state exploration for model checking on a shared memory architecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199173"}},"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":"Q2842857$20AAC361-A28B-4421-B432-5AF33420FA80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc62ad378d27bcb0e62c9910dc8de793179c53c3","datavalue":{"value":"1270.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$1D49E4F4-5129-4376-B5DD-712A5ACC0FDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1df2fb8a051f960515ec1f78c40d219592cf088c","datavalue":{"value":{"entity-type":"item","numeric-id":2431770,"id":"Q2431770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842857$E4B70071-2450-4970-B60D-639956F0CDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842857$4AD42B21-6E98-4322-9396-40607622A053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842857$E02F6B07-B3BF-415E-9A91-1897CE085FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6afc9c6349b3744eccf398c0d1a9e287b682d4b2","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105803950","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842857$D4318334-B158-43B5-BB96-952E34DDCA90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$582A9AF8-950E-48E3-8D74-7D18B655EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$A0F93697-60B3-46A6-A867-AFF72D43900C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$BA782547-96EC-4C3D-899E-5110DCB6FF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$2BE1B12C-A534-4617-863D-BEF25E89F964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$F6FE5AD4-2F0A-47B7-9010-1AE8C6122F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57c80839dcffa74a5dc2d05ef39a890d9f18546d","datavalue":{"value":"6199173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842857$EDCDE08A-62AB-481F-B679-769A7D69417D","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":"Q2842857$22FCE5E7-00BE-4C0A-9F96-BC409685C88B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70183baef9dfaa855bbe55f7cebe83b86eff0a03","datavalue":{"value":{"entity-type":"item","numeric-id":5394553,"id":"Q5394553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220fffcf01a2f4b4ffd6d73058414b41874953c0","datavalue":{"value":{"amount":"+0.9095472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842857$D368CAC9-9245-463B-AB36-0B7B6D4A54A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca522f2f833db3826493b39383074bf163777bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848152,"id":"Q2848152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e3a5437733f0fca401e55de92b6c2d1c24c963","datavalue":{"value":{"amount":"+0.8982505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842857$18B4D011-6678-4E46-A0E8-4DFA4674070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14055d1a82266cb52c9edd43935f919873942b17","datavalue":{"value":{"entity-type":"item","numeric-id":2431771,"id":"Q2431771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05345e8989f2fb15b1dbf8e8be3ba05ca0d5f169","datavalue":{"value":{"amount":"+0.8957522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842857$C92FC28C-CF93-492D-B0D9-BE28286ED633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3130c6d0cf9227a644b2f341518b46aed13c7c61","datavalue":{"value":{"entity-type":"item","numeric-id":5312921,"id":"Q5312921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6da723a5c343df3e454f4b5410779e4780f08b","datavalue":{"value":{"amount":"+0.8807652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842857$EB857AB1-626F-4453-AD64-2FE4081A5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c5305b07f9afbf18c1c470f2e6b72ce3919bb9","datavalue":{"value":{"entity-type":"item","numeric-id":1630041,"id":"Q1630041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b82ce92d9d38ad1e96e5be80f3cccecf87d536","datavalue":{"value":{"amount":"+0.8807037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2842857$FA0A0946-1F3B-4A37-8997-2436ED00B09E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff47afcae77fca039935ec214d94e784d3bff45e","datavalue":{"value":{"text":"Effective state exploration for model checking on a shared memory architecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842857$30E97CC4-4A19-4ED4-AC0F-BEA7C6D51E39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective state exploration for model checking on a shared memory architecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_state_exploration_for_model_checking_on_a_shared_memory_architecture"}}}}}