{"entities":{"Q3075493":{"pageid":3086209,"ns":120,"title":"Item:Q3075493","lastrevid":79903766,"modified":"2026-05-06T14:58:41Z","type":"item","id":"Q3075493","labels":{"en":{"language":"en","value":"Distributed and predictable software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851861"}},"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":"Q3075493$35E4F68E-929E-4E00-A336-63224B4F8A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f4eae6284daded23a9ca558d046ed8dce2138ed","datavalue":{"value":{"text":"Distributed and Predictable Software Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075493$F9F58400-6650-47A0-BF5E-5D9EB0E33B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9fb5ba02b2016dad84b9780f415c9442a2502d","datavalue":{"value":"1317.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$C0541AC2-C897-4001-B2F6-4C52851ED945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59f7b6e31303c0d176f17af573819ed01bccccbb","datavalue":{"value":"10.1007/978-3-642-18275-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$122280FD-E7DE-42E5-A9A8-CFA2B0DD3969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dccbbb4c54e7b50e90d7a9883e3f553476c899cc","datavalue":{"value":{"entity-type":"item","numeric-id":2117193,"id":"Q2117193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$D698A9C7-E16A-4E02-8E16-5000B724E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$86921666-092F-421E-B974-BFB473951065","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$74FF2A7D-72DE-4324-B9A3-123E2F028402","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075493$EF3E9698-3B0C-412B-BD84-6C091AB04ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$4544068F-A2D9-42D8-8500-8095881D2C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$A9E58AC1-EA8D-48B8-BBB4-02E39CE1BAC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f32c1a8d6944240bb457f7d7857e12c733ffb2c","datavalue":{"value":"5851861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$879F3DBF-5C02-4999-AC46-2B952734207D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$9644AABB-9EC4-4315-B45A-A52BBC0AA1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8482f09d64b70f65cf375b2138b15b9a9ccbbf52","datavalue":{"value":{"entity-type":"item","numeric-id":26045,"id":"Q26045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$51C3E1BB-2BB0-40CD-8133-8308BA4BF82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$A893ABC2-58F5-435C-9240-188B2FE58D5B","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":"Q3075493$C05DC49C-E0C5-4DB3-9E81-7AD29ACA54A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dbee879c74504e4bd3958b0f129a6f0206e09d7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075493$B627C136-9D1D-4259-9325-685F33F0E276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"738ce3fef7d41a9c2ccf172e0b80b0970034f622","datavalue":{"value":"W3139258282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075493$FE008A12-8358-48B2-B44E-AD16B16F5593","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$729E91DE-CD1F-4E99-B7AF-3670B1CFB85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$4078CCDB-F264-4E0B-AF0A-05529F200DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$F9B6BB51-C255-47FC-9EB4-D6FB964F1FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$5384F58D-205D-4AC2-BE23-D52F0EEA2977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$551027AF-2613-4BF1-9E11-F7B26F3E1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa890fea715a471e973f4b4eff0608c972c0511","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$0D0CCB18-67D0-4DB0-9F36-FDFE01DDE891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84723bf1b71b9cbbe0a7050c68b71f7e16231950","datavalue":{"value":{"entity-type":"item","numeric-id":3523144,"id":"Q3523144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$E6B8820C-EFE2-43F1-B8EE-DCAF64C52E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae803494d6bd842c9a444af7cd35be842336646e","datavalue":{"value":{"entity-type":"item","numeric-id":3585178,"id":"Q3585178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$0D92D234-544F-4B8D-80AA-33865676EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$2A422DE1-E51A-4225-843A-2375014FAC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a9c3b2802b872f16e4b56113df29075fe9a53a","datavalue":{"value":{"entity-type":"item","numeric-id":5493376,"id":"Q5493376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$0D5CCF77-D5EE-4BD0-BE11-197FE5E9E783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba5d5efb9c38b6831b2583ad03c762bad219edf","datavalue":{"value":{"entity-type":"item","numeric-id":5408570,"id":"Q5408570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$E962B000-270F-40DE-9D9F-2CE32D258376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$E12FC075-1FC8-4300-AF80-97FEBEFF7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2643725998647ea0efb48c4d6d5b6e915dfb0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075493$CF6CB072-F025-442F-9602-FEA9F5FFD08E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300dcfa6d6459c5eac829916bc8297170c91861f","datavalue":{"value":{"amount":"+0.7998948097229004","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":"Q3075493$5975FF14-C25F-4C07-82E6-370153C636C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42296bcf346b06ff96a207bb256917d7c320e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2357148,"id":"Q2357148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6153a9f930e0a03d1ecb3257f3b99478643e6093","datavalue":{"value":{"amount":"+0.7998946905136108","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":"Q3075493$C0668F3C-C585-4CB1-97CD-E89973D81623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484e9fcb663de959296f7d68b827aa2d610cb618","datavalue":{"value":{"amount":"+0.7625707387924194","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":"Q3075493$EEF1CDAE-E3EF-4551-8D57-65467FB9E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eaec7e2c6525a911dd0858bfde4585400dd14c7","datavalue":{"value":{"amount":"+0.7436223030090332","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":"Q3075493$C6BF5E65-B9E0-4028-A99C-42BBE636E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36efb17185f5ee397f5560683aa7220adac5335c","datavalue":{"value":{"entity-type":"item","numeric-id":2848663,"id":"Q2848663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d612f3e9577829544e96de8159af93fafb216df9","datavalue":{"value":{"amount":"+0.7410634756088257","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":"Q3075493$EC794775-AFBD-4EB6-B73B-95CD26A288BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed and predictable software model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_and_predictable_software_model_checking"}}}}}