{"entities":{"Q2848153":{"pageid":2858873,"ns":120,"title":"Item:Q2848153","lastrevid":83497331,"modified":"2026-05-07T08:26:01Z","type":"item","id":"Q2848153","labels":{"en":{"language":"en","value":"Parallel and symbolic model checking for fixpoint logic with chop"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211543"}},"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":"Q2848153$B0F15CDE-5F53-4816-9C5A-5D46D72CEC02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"667f41757d2416baf2cb06647a5b01aaa188880b","datavalue":{"value":"1272.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848153$D3CA6B11-71C9-4A3E-9C21-12C2CD91631F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848153$F79649F1-60D0-4077-B5EA-83A74C326CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48c83a006ad04a231123636e10733cff431ab658","datavalue":{"value":{"entity-type":"item","numeric-id":2463559,"id":"Q2463559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848153$2EBC36AE-C043-43ED-A90F-CD2AF4F73FD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848153$43D7143D-ADC5-4343-BFA4-8DAF0EE75EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38af172cc77ada58c5f68dad598789919deb92b4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001726","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848153$185F1261-96D9-4277-8F65-87CF9A3839F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848153$3616622F-A8E0-437A-AEF5-B65344382F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848153$4DAE04E7-39C2-41A8-A0D0-516FDA7F290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848153$A8F24E67-D627-4B59-8AEC-E6AC6F3A62F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d2ca8f37f821501ac79316c23443719516bc29","datavalue":{"value":"6211543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848153$06D9987A-5049-4DF9-BE72-FA1CA88AFD63","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":"Q2848153$E3E45C5A-F446-43A6-941B-49E5C01186D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6ff03debbac1514ff5f0a6debd9cf426e83487c","datavalue":{"value":{"text":"Parallel and symbolic model checking for fixpoint logic with chop","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848153$4889CA03-F110-488D-8CE8-0C711236F9FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aafcd072d1fe51dbf9b591c8429d960365ac339","datavalue":{"value":{"entity-type":"item","numeric-id":4738230,"id":"Q4738230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe816a4293de0a1ff2f14e7596833a0d56ac097","datavalue":{"value":{"amount":"+0.8481521010398865","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":"Q2848153$DCA6F85D-07AD-4412-815C-CE316FD51E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1416737e547dd5fc391bb2695437a390cc7356d3","datavalue":{"value":{"entity-type":"item","numeric-id":5312947,"id":"Q5312947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e83f1e8702bd56b6eeaf6ffa3063ef8c3bb0ef5","datavalue":{"value":{"amount":"+0.8229156136512756","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":"Q2848153$54722835-90B3-49F5-AA41-1FA78C73DBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed436863729a89dda07dea5f0a0fe303d9a8c512","datavalue":{"value":{"entity-type":"item","numeric-id":4484491,"id":"Q4484491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91ba644970c35257ada28a6caf51230757a4479","datavalue":{"value":{"amount":"+0.8187076449394226","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":"Q2848153$894F8564-2B26-4001-8A4A-E0504318AAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e2713e444c9eb9a3e313a4114fbbc9a485cdcb","datavalue":{"value":{"entity-type":"item","numeric-id":5441546,"id":"Q5441546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ee287d2209ebae10170ebe73faee9525320e5e","datavalue":{"value":{"amount":"+0.8170413374900818","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":"Q2848153$2A8758BD-1D08-49A9-B4AD-496582D31A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8bf9ae8412d3f6bc9ff581a201bd878f319ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2845488,"id":"Q2845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ec090c98afe42873fda4cefc943075175659a2","datavalue":{"value":{"amount":"+0.8038209080696106","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":"Q2848153$5593771F-2209-4746-86EB-80EC6794A94F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallel and symbolic model checking for fixpoint logic with chop","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parallel_and_symbolic_model_checking_for_fixpoint_logic_with_chop"}}}}}