{"entities":{"Q4294559":{"pageid":6324160,"ns":120,"title":"Item:Q4294559","lastrevid":46333047,"modified":"2025-12-24T14:24:33Z","type":"item","id":"Q4294559","labels":{"en":{"language":"en","value":"Programmverifikation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 568598"}},"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":"Q4294559$39E0BCBB-F531-4CF1-9EA2-253EA9DE70FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efe9f8268ceb81d8ab28045e228779cd7997a520","datavalue":{"value":{"text":"Programmverifikation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4294559$EFCB5C21-EFF3-4FE4-A37F-716C61C2F4DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf9f9f501148ae364f3663c3165df558e9c53ca8","datavalue":{"value":"0821.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$94489C10-6798-4FCB-821F-E80799B8B33E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"601edffc78ccd2c987ad85dc8d44c66030a4bd85","datavalue":{"value":"10.1007/978-3-642-57947-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$2B807A40-BAEC-41EC-9603-8BF9809267A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4294559$354F788B-A96E-4661-B1A4-76CEE0034ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4294559$9C7B90B2-C42D-4B46-8A55-4B579EBC2367","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"529abe3227038afcd857fe878e6e645f9eb8f240","datavalue":{"value":{"entity-type":"item","numeric-id":167293,"id":"Q167293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4294559$5BE8DE43-1565-415A-8A4A-A6BE13B1484A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e29d0f5a58562f25d2f75b14056d09c49bd1761a","datavalue":{"value":{"time":"+1994-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4294559$7ADA95A5-C13F-468B-9309-3CEBF00424B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$F67BC32D-AB2F-47B9-845D-A777ED91919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$C51D4419-F13A-4DD4-BAF1-FAABFAC54940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$B4FD3331-18DE-4535-A533-AED058DC96D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f85dba42322deb06b142958ce0a852490e722a8","datavalue":{"value":"568598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$7FFFED19-824B-418B-A834-3A1D7AC4ADC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e598b601e971c0022dc6489a284ed99b29f29","datavalue":{"value":"sequential program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4294559$8D51B980-02FA-4FD0-A7E4-E255B031AAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4294559$AA573B0D-2B13-49EE-B36E-78927E92DE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85590dc38564ecfb5109c68e55aa1c2c4da9d75f","datavalue":{"value":"parallel program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4294559$788B95BA-DE7B-42F3-B9D1-BDB577F004E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354c1fd804999f86e0101fe11e7b19e7f70e5f2","datavalue":{"value":"distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4294559$FE0AD20E-7AED-4B52-9DF4-7154EBD2F6D7","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":"Q4294559$0A3471F0-3581-443F-8EE6-989826C50A1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab2fe2b828507bec506f6ff94c5545c5ddcbc64d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-57947-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4294559$7E489594-262F-416E-860C-2135F4420786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357efe920839d9e0a1a4f9ee876df0247a65c4c4","datavalue":{"value":"W4234231758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4294559$3A98CB0F-94CE-41BC-AA60-A1FD188648B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf0f91c97354ee4344e23113742417b1461d0ac","datavalue":{"value":{"amount":"+0.8706578016281128","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":"Q4294559$B5FB7D7E-B284-4121-B620-48C9CB3F9B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d923660b529be4de0709e4de6b0b139c9cd0582","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deef5c03ccdd1387dc7a5634ad1bb53321844e67","datavalue":{"value":{"amount":"+0.8598953485488892","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":"Q4294559$C9C34C5F-AB23-493E-9734-69A475C762C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb379e7c53e6947c833908581175d3c2551029a","datavalue":{"value":{"entity-type":"item","numeric-id":4286769,"id":"Q4286769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd859542d27c036de550607f2b3f9b9fc2ebeb","datavalue":{"value":{"amount":"+0.8454652428627014","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":"Q4294559$9BCB03E1-FA0F-4BE5-A459-F60672F98DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1931a8e12c8845b380958c0dd7d69fef4221baff","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b80127b1103097e6bd7f840e1e54be5f8fd0bd0","datavalue":{"value":{"amount":"+0.8352842330932617","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":"Q4294559$8E9A405B-21ED-47CC-B502-9428DD2BB0C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4294559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4294559"}}}}}