{"entities":{"Q5930826":{"pageid":8107628,"ns":120,"title":"Item:Q5930826","lastrevid":47605669,"modified":"2026-01-02T05:04:30Z","type":"item","id":"Q5930826","labels":{"en":{"language":"en","value":"Verification of distributed programs of the SPMD-type on the basis of the \\(L\\)-programs formalism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1592112"}},"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":"Q5930826$43854737-8CBA-4EA9-B5A6-28E9BCF17996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9cac1488d9daefeae32a5c5806dac09566327e4","datavalue":{"value":{"text":"Verification of distributed programs of the SPMD-type on the basis of the \\(L\\)-programs formalism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930826$74C7B908-BCE8-4FF5-B801-8BBBE73448E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dae176d8ceb539effacfe5ce2a901f154dc3678","datavalue":{"value":"0972.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930826$C21FE280-21F4-4D7E-8B58-8147FA9D9425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7a3d084ccadd13d3cb564ec0f57eb1a9601c66","datavalue":{"value":{"entity-type":"item","numeric-id":174090,"id":"Q174090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930826$CF71A804-9685-4EA4-AA2B-6FEEB411FDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bacb029bc8be7a7ab725c895f3462851611245c9","datavalue":{"value":{"entity-type":"item","numeric-id":174091,"id":"Q174091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930826$BBE04255-3BF7-40B8-A473-B48BB80C7EA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930826$837723C6-135D-407B-A359-6BC536BE7FB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a780d61a62af0991bc6e88cb070a7586b6b04fc3","datavalue":{"value":{"time":"+2001-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930826$A7C10B81-FAF2-4C25-B55B-43D5EAAFA639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930826$9BDF2867-3023-46B5-9181-7C7312B0B0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930826$2F22ED63-9BC8-4AC7-88FF-1C7B1326F46A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49e5fcc18373ded23602bb05631fe5813f8436e","datavalue":{"value":"1592112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930826$7E956FFF-0FDE-44CA-BA71-4C4FC3A7BAC3","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":"Q5930826$41B391CA-AD6A-4BCC-9B51-6DA4D62D4D2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4657f223a476d3721ee27cccbd9cb0e5c9544240","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b14a71c364a2cdb6ff13a8e1fe52f8044409da","datavalue":{"value":{"amount":"+0.7534117102622986","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":"Q5930826$D573D263-BBAC-4F15-AD65-8E8A66AA2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee4294e71cb3b66235c64fdb14d02d42c0ec26b","datavalue":{"value":{"entity-type":"item","numeric-id":4560363,"id":"Q4560363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6af6b49cce52f06b133f47cdc22d2776728e301","datavalue":{"value":{"amount":"+0.7477185726165771","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":"Q5930826$0F92286E-A60C-4583-9143-32ABB703D07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50e69d58ab4d0d2892cebf87fb18ce82f748fd5","datavalue":{"value":{"amount":"+0.7410852909088135","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":"Q5930826$44216BF4-F36B-4151-991F-4EE60DEB0CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d1983cde480fc7c494adfca77569b00513712b","datavalue":{"value":{"entity-type":"item","numeric-id":3809776,"id":"Q3809776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8c8ce3dcc3eca3aa469dc3029a73358b417c13","datavalue":{"value":{"amount":"+0.7361285090446472","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":"Q5930826$D4DA604A-8F1C-4FD8-A2C3-7E25D6A127B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042081f4a9359ce63ad7a8c723ccc9cfe640367","datavalue":{"value":{"entity-type":"item","numeric-id":4294559,"id":"Q4294559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e49a36708efddc8098dc759671059a263afbf7","datavalue":{"value":{"amount":"+0.7357150316238403","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":"Q5930826$EB1C2232-9E78-483E-8F61-E97AAA6590E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5930826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5930826"}}}}}