{"entities":{"Q4323307":{"pageid":6352908,"ns":120,"title":"Item:Q4323307","lastrevid":47303458,"modified":"2026-01-01T07:12:39Z","type":"item","id":"Q4323307","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 723228"}},"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":"Q4323307$5157188A-3816-40C0-BB5E-93C2274474B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb2c5cd24f9363710feb81b924d49bc1a99bc751","datavalue":{"value":"0822.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323307$763F2489-F615-48A5-A9CF-5984F1B935CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323307$BDDA6663-5DDB-43DA-92DA-A910010B2271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d503d12ba3bee791ac3a443dae83034312baad6","datavalue":{"value":{"time":"+1995-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323307$3C768329-418E-4215-B549-6246588B083B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323307$BB39F2A7-EBE8-458B-9417-6EC19E22EB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323307$4C316DB4-31E6-4481-89DD-98230DD8B2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323307$94F2FD00-2F54-4672-83A9-59FEC7B4D1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baa528ed6d3e3e9a17702f2f80b8a6bb904ce236","datavalue":{"value":"723228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323307$AA84B32D-B9BC-4CF6-891F-252D8D40E8B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323307$72729986-6E05-4F83-9900-5CBDE29172E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a375eb6f72bffb31a22a64ae3976df5078846a32","datavalue":{"value":"Hoare's proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323307$1F68BD0F-0227-4C8A-8E88-29B4B2496110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323307$315EC198-65B4-46A6-AD75-82B8C8A4C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b376be293df8594c8ddd37d9b4adc6974763eae5","datavalue":{"value":"Petri-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323307$5E6A1687-2226-4E3C-BF83-C594B9FBA105","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":"Q4323307$E0332E15-9765-45D9-83FA-84393E406470","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2756abb3006984b0bbdc4bfa275d9b9e0e0de873","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b000706b939ab75f3d51767b978b92ebbcf3dd","datavalue":{"value":{"amount":"+0.8297197818756104","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":"Q4323307$8AA33F9B-F25F-4A3D-96F3-F84F5DC4B5C0","rank":"normal"},{"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":"b2d536e6b39ced4c72cc3a7f0afa37c4be77675d","datavalue":{"value":{"amount":"+0.8297195434570312","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":"Q4323307$0976A83C-D093-42C3-BEC8-8920137756AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3748b187322e58abdfe0c4a3b5f68cb1e6bae3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3993479,"id":"Q3993479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8ba963ef771c08a09592555d298fe3b2aac6da","datavalue":{"value":{"amount":"+0.8129243850708008","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":"Q4323307$F8E3A7E9-C8F1-46A6-81CE-BFE66863C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b25c2ffa2417959133d05a5b66e2a62d7360df","datavalue":{"value":{"entity-type":"item","numeric-id":3561031,"id":"Q3561031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a642487efdf0a3c03095897b6b3d4a04ecaa1e","datavalue":{"value":{"amount":"+0.8128468990325928","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":"Q4323307$E2ECFE45-E33A-4396-A1E4-2AE60D8CD1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4373c2679c33dd21fd44418f6479a18b44c412","datavalue":{"value":{"entity-type":"item","numeric-id":4874391,"id":"Q4874391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d634bcd3bd8f959dd5828f29f22c97cc05de8efb","datavalue":{"value":{"amount":"+0.8075051307678223","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":"Q4323307$55D60D24-B391-48D6-BC91-B7AB20D8A28C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323307","badges":[]}}}}}