{"entities":{"Q5452594":{"pageid":7482153,"ns":120,"title":"Item:Q5452594","lastrevid":50326829,"modified":"2026-01-13T20:11:04Z","type":"item","id":"Q5452594","labels":{"en":{"language":"en","value":"Model Checking Nonblocking MPI Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259424"}},"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":"Q5452594$EECA211F-036E-4539-8DD2-B12D124C4477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"549a8d491e8b3f5ba735d4ffcfe51f2d26efb04f","datavalue":{"value":{"text":"Model Checking Nonblocking MPI Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452594$33A9BADE-62B8-4442-A963-6565600FB339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a64513460dbb3616d65c15d7622bef495016cd","datavalue":{"value":"1132.68481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$CBB61F3A-B8EB-4DCD-AE21-E080D120EEF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"606c9b52b7d3da0440fc508b696fcc6e2ed33264","datavalue":{"value":"10.1007/978-3-540-69738-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$9BB786A3-F696-4AAB-A763-30FD37B94D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b278df194368acdcf33f8ca3335a7df817f9688e","datavalue":{"value":{"entity-type":"item","numeric-id":453517,"id":"Q453517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452594$BC618F60-510E-4ACD-83F8-7C2316DAB137","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":"Q5452594$005F84AE-97F6-4C81-BF54-9501FF5B0D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452594$163236DD-422D-40CE-BDB2-46F6C4657803","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$786279E1-E84C-493F-AF55-347CABCF3412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$D5D60913-3476-43F8-ADD3-3196ACDF3460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1a0c926b861c995fb14d0e2d19509fe80260828","datavalue":{"value":"5259424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$A36BBA16-FFC5-49B8-93D6-17DB6CECEE00","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":"Q5452594$1556DEC9-B67C-42A4-95E9-EA372B702A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01eb12879f4e0b9b5bda69caaab38609474f63f1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452594$D4460553-B154-4E92-9B4F-69DADC7E76F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f30a7ab50d921b9a02125412508a19074b9a3f","datavalue":{"value":"W2103772961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452594$77EACB35-3780-42FF-A257-5E405CC0E5DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68d91e282ac35cf04ccf22caa69e2e9918a0cec","datavalue":{"value":{"entity-type":"item","numeric-id":5308382,"id":"Q5308382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452594$C859BBA5-695D-4B90-BEE9-B852A18EE2BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b2c0621b2a3f8a1359fdbd3d5ac3af8b5b37dc","datavalue":{"value":{"entity-type":"item","numeric-id":4790937,"id":"Q4790937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f8ca0c6641f60c06b9e34f055fb9caf047bcb2","datavalue":{"value":{"amount":"+0.8002163171768188","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":"Q5452594$9E77511D-F1D7-48EC-A1B1-A7932C7BDCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2afa560a1a20d9e842b28f33e03fce0588455c9","datavalue":{"value":{"entity-type":"item","numeric-id":2169119,"id":"Q2169119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3043ebd848ba36f020534615fce2c8fb6bc541c0","datavalue":{"value":{"amount":"+0.7876337766647339","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":"Q5452594$C2694216-F308-4F3F-96F6-BB147C772907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67ee98c39a0ba0c7a58194ec4e130f1415aed8","datavalue":{"value":{"entity-type":"item","numeric-id":5711505,"id":"Q5711505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f99c49d374ec14f5918b9bfd517430f8047872","datavalue":{"value":{"amount":"+0.7789621353149414","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":"Q5452594$F1E70871-9010-447D-974D-35B328EBDDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6322c3c77566a99e7f30ca69c19e43c8247031","datavalue":{"value":{"entity-type":"item","numeric-id":5308382,"id":"Q5308382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55384d26cee15ef4289a105e9aaabbc096f87f2","datavalue":{"value":{"amount":"+0.7734726667404175","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":"Q5452594$45799945-3BCB-44DD-BBF7-40FDA09E208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66edd25a7a22263b4c23ddcb9eed28e9e44e7256","datavalue":{"value":{"entity-type":"item","numeric-id":4794724,"id":"Q4794724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef02bf35ed1948a5c726eb536f8282a14d3dee60","datavalue":{"value":{"amount":"+0.7570236921310425","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":"Q5452594$665939C5-AB3E-4476-A1BF-C6B51ACFA7F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452594","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452594"}}}}}