{"entities":{"Q3878739":{"pageid":5908644,"ns":120,"title":"Item:Q3878739","lastrevid":54603578,"modified":"2026-01-29T07:58:22Z","type":"item","id":"Q3878739","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683035"}},"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":"Q3878739$9CD88F55-E5DF-42DE-9C9B-33DB1D54496D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97091ef5ed5c0553e4cf714cc2fcaf77c11b9de2","datavalue":{"value":"0437.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878739$8C8805DB-CD7E-4283-B8BC-F1D3DAF4510E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3878739$7C1CF8F9-E16E-47D3-BBC6-EB6857A95577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3878739$A481B46E-2D78-4D68-9F13-5D51F232858B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878739$89632801-8BA1-41BB-A713-BE913BA3E717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b40adfe15d54341af19cc165587ec0cb3dbc1ff1","datavalue":{"value":"3683035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878739$48389339-81B0-42A1-A91A-8C3B1A20366E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033d581263030ed062be72990cefc59050abe83f","datavalue":{"value":"guarded commands of Dijkstra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$58075D81-989D-4658-8BD7-0B6A2CD28A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$450B334E-6264-4D72-B9BF-D9AE8DC540E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$52442D43-2F32-45F2-9EA5-8147B2CADF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$3B78D485-0B2C-4198-B7B9-B672A4DD8BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$A74EE46E-2EC5-452D-BF40-CE70D047B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c268d38c7273b09b87e99535b1c80a637bcbb8","datavalue":{"value":"operational abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$80866741-9509-4FB2-81D1-4DE2B6F808B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$5E15BC07-6A88-4B8D-B470-2EB20FED5324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b358a8b16277a496f3ab72d9de851032eb2251","datavalue":{"value":"unbounded nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$7700CEA2-B47A-488C-853D-33624D7EBCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878739$C61E8566-677E-4BA3-B7FE-7A3D0B613BF9","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":"Q3878739$35DB4C84-93AE-487B-8065-03E084C0B7C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3878739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3878739"}}}}}