{"entities":{"Q3738540":{"pageid":5768446,"ns":120,"title":"Item:Q3738540","lastrevid":50934635,"modified":"2026-01-15T19:58:34Z","type":"item","id":"Q3738540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972158"}},"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":"Q3738540$90B61B87-1FBB-4B3C-8947-BAD35D91C109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46a352ca5274331764c29b1d83f6aa9daff25146","datavalue":{"value":"0602.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$AD9164D0-D4AA-4251-8F22-416B4493BE50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3738540$502AF6D7-4551-4503-9CF1-36F1561B51C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3738540$8D8FC88D-4967-4111-B0FA-44AB9F01BB2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$FFA246FB-3F25-474D-AE94-3BCA185C6C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$E97379AC-C603-42E0-AEAD-CFF709C8982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$338A6698-F6CC-4386-99C6-4DC73444A6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$499C37CF-A2F2-4E8C-B711-6C631999060B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0414932c66dbdc4fbbf4c8e96aa55a38b6225e41","datavalue":{"value":"3972158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738540$AE4AF943-2F85-4028-A617-848A389926B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$75BB02D3-457D-4F67-B906-FAD26B0877E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$6A933A58-AED2-4A88-818E-72B767FC44DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e4c0301653c12c34463b9c373ef0253a530f5f1","datavalue":{"value":"proving properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$FD066409-DF29-48F7-B08F-EA754484AD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$B5F2328D-926F-4E2B-844A-42663DB52EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259035a1173d6818b64a3883902d874ebe4dfa78","datavalue":{"value":"Hoare-like proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$19C006B6-3796-4D08-BD4D-E2AD4A68B64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$D5C2C971-0FE1-4CF1-8B14-151633BD0676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$CC223E43-E4EC-4E5F-8B84-CDBBFAA20355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$A829991D-6CCA-4FC8-8E71-5F9B9ACD50D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738540$B8346BAA-45E2-406B-841A-E6A7F7DBD416","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":"Q3738540$070B6BD5-7AE0-4599-9AA7-30CE61449847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc479ecdbb30dc84b0c659d58072bc2b60e3aaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3823122,"id":"Q3823122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b9bb770830a20132c2e2cc9c7e5ad60476580b","datavalue":{"value":{"amount":"+0.7843003869056702","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":"Q3738540$939D5D47-67EB-44CC-8477-B0BE42FB1A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab2fc16dec7310aa516497d2701cf1dfcd7f2a1","datavalue":{"value":{"entity-type":"item","numeric-id":685427,"id":"Q685427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee3bec5567a9f6ed7158340a650350943400a6d","datavalue":{"value":{"amount":"+0.7729564905166626","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":"Q3738540$921CEAB8-8703-4634-A554-73B219A32A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ed5fb28dd6a6f13e5fa3b5a620b820986bcb85","datavalue":{"value":{"entity-type":"item","numeric-id":2721097,"id":"Q2721097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f860d3674cd9174dd555e9be3c02998c54ad2d9","datavalue":{"value":{"amount":"+0.7729414105415344","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":"Q3738540$BD30A03F-7E31-40C6-8312-0F2CFE96E88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd94299c7ee190687a427d6fe67edde1694d44f","datavalue":{"value":{"entity-type":"item","numeric-id":3680242,"id":"Q3680242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b106797ca7ac27dfc3c101a0a224e3aa63e6d2","datavalue":{"value":{"amount":"+0.7707619071006775","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":"Q3738540$6ECE9088-61DC-4BD3-87E0-4FA35DA4174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb09fa482681de1c95537840bdef72e597c3f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459666aa90e8bf90d8422b97aecb62dc95357c8c","datavalue":{"value":{"amount":"+0.7670292854309082","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":"Q3738540$5DA81BFC-EBD4-41B0-A716-4A4B7E796F54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3738540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3738540"}}}}}