{"entities":{"Q5756735":{"pageid":7786286,"ns":120,"title":"Item:Q5756735","lastrevid":50157977,"modified":"2026-01-13T07:25:40Z","type":"item","id":"Q5756735","labels":{"en":{"language":"en","value":"Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187396"}},"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":"Q5756735$A30E1F2F-96BD-4C67-B6ED-67DE999CA8BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7ae83a168fd856a5eeb0675f02117ce1181d30","datavalue":{"value":{"text":"Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756735$9B866277-3E32-4ECD-9425-94DCE9C8424B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4398d048b4634370695471ef3e4e673d0429a89c","datavalue":{"value":"1188.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$37859852-A2F9-413B-A524-D218CF0545F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c654d9d050cd4984cd2c8cad6649bb78178946d","datavalue":{"value":"10.1007/11817963_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$D8DE6B67-A349-497F-980D-A471D4FC2893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dccd13a2e71c75b860bf298c2386cebf24a966","datavalue":{"value":{"entity-type":"item","numeric-id":2723422,"id":"Q2723422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$ED988679-1563-483F-BA31-D076DABFAD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$3069AEB5-0F2D-4C82-BFC5-44538F2B196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$73E9971E-2FD1-4B88-9829-099E2F0A3F08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$0E4B1881-9E1B-4883-974F-901CE686C963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-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":"Q5756735$DAD0F757-24CF-4AF3-836D-3795236FC125","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$9F6907EF-877A-4006-9EFC-0EBF6C8252ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$690E1860-5C25-4D43-A34D-3B64CDA9C4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$09C526F3-8A1C-4B75-B17D-2260A8600A37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ded91d4607ddc3c334677ce652a307b49563d2","datavalue":{"value":"5187396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$D7499FEC-3E25-4EA9-A9CE-AD7491943101","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$9A7AAFE6-16A8-4E45-810F-730378095A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756735$5D2C989B-0D2C-4DC6-A867-E7F996971BE8","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":"Q5756735$8EBA0134-BD0A-4862-B89B-AF1EEAB3D3A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf196d60e030b67a47b3d2aebda8914bb6b1aa7a","datavalue":{"value":"https://doi.org/10.1007/11817963_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756735$2CB09272-EDAB-4BF6-A95E-A5132ED6219E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68ef7994ce010d7416fe398c94d3b3726d62a1de","datavalue":{"value":"W1582387102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756735$7F8B0D27-9D36-4D7B-8B77-08E7F64C1A62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c67d06020d36768275673cedea31901aa50df1","datavalue":{"value":{"amount":"+0.8075910806655884","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":"Q5756735$185E8E21-628C-42F3-BC6E-C7A3C1765168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75f7ad95fb6dfe2e460321f9a9c2e29a08086bb","datavalue":{"value":{"entity-type":"item","numeric-id":1888204,"id":"Q1888204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961a351034aa9ed12877c37845e0b900b31b905e","datavalue":{"value":{"amount":"+0.8052187561988831","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":"Q5756735$20AC6B9B-BE0D-4519-89C9-6A8327F2D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d4192aa0b9b625a1d9a8b69692cd77a042304e","datavalue":{"value":{"amount":"+0.7987111210823059","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":"Q5756735$BE4BF696-EED7-4524-8418-18FEFE824B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c83158ff52c82be086916b19ed1c1da73d629","datavalue":{"value":{"entity-type":"item","numeric-id":2961569,"id":"Q2961569"},"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":"Q5756735$D3EF3EE2-91FC-4D20-BFE6-C068D8664B24","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":"19943c72a01056d571319f6607b8aab651121222","datavalue":{"value":{"amount":"+0.7866156101226807","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":"Q5756735$3AE4199D-A9FF-4119-A265-D30788A4D248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756735"}}}}}