{"entities":{"Q2914589":{"pageid":2925309,"ns":120,"title":"Item:Q2914589","lastrevid":79827749,"modified":"2026-05-06T14:48:01Z","type":"item","id":"Q2914589","labels":{"en":{"language":"en","value":"Tendencies in verifying object-oriented software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084364"}},"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":"Q2914589$C18A2300-95BA-4F9A-9948-50B2D44D9C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0693da7196c50bee99dcc27d9f956fc867f994f9","datavalue":{"value":"1265.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914589$7619D828-154A-43B7-87D7-62F1F75BFA2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"891af1136b27b2adb04846f506f1f7c1ac391039","datavalue":{"value":{"entity-type":"item","numeric-id":2914588,"id":"Q2914588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914589$09DE14B6-F8BA-40E0-8F19-CE205E1D819C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914589$CF3319F4-9453-49D7-AAFC-7FBEC2F2D38C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914589$32BD9C1B-B8B6-488C-AF40-5FCA7FB50488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914589$77D5E7FB-A80B-459B-A300-11F350FB3D03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0785c2f9bbb804ed30f6842719a7711f8087d099","datavalue":{"value":"6084364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914589$45B81647-59F4-4B74-A684-B73B7D74122E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b64009cf101605ee824ed0b5e7916351082d24","datavalue":{"value":"object-oriented systems verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914589$9683EAB8-4C3C-4827-B8FF-57BBDACFFFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914589$17E7CFB5-9857-4A6A-B0C5-44941B099FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa99b3e909356256a875eac4b78e787d67eb7ca","datavalue":{"value":"aspect-oriented programming (AOP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914589$79B7379B-7539-4BCB-802E-C0A685F40FCC","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":"Q2914589$DE3A844F-1265-43DD-A1FE-0E56B310ACB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a25c0158a6afdb347eb690c385762aa074b439","datavalue":{"value":{"text":"Tendencies in verifying object-oriented software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914589$009B82A7-EC7F-4818-8BBB-E21C0EEEF62A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7cd227e1fdfda36507dad62a1b112fb209278529","datavalue":{"value":{"entity-type":"item","numeric-id":6774798,"id":"Q6774798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914589$1FCA1125-A148-41CB-AEC5-B133052C326D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dda3c535d71d7e1c5677bc0326a96a414fc645","datavalue":{"value":{"amount":"+0.7405234575271606","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":"Q2914589$96535ACF-8046-4F01-8FCC-EF79E2F5A0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aecf97479ecb2e0408151dcb2ea4fcdfa025448","datavalue":{"value":{"entity-type":"item","numeric-id":439944,"id":"Q439944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c5eb7bc35b1d7f976538f2aabd46e304424741","datavalue":{"value":{"amount":"+0.7316188812255859","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":"Q2914589$DC784784-E30C-456A-B39A-DF6655C7B618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abff30b1df24a3c195e114a27a91779987c7e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4790351,"id":"Q4790351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06acec9930d37f192d4cc6fd831ed818029692fc","datavalue":{"value":{"amount":"+0.7187595367431641","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":"Q2914589$6EF101A1-4D1F-4C72-8872-A97CC715828A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cfc1c13440aac9b577c59ab7eff8de6c98cc4c","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195252562d29746eb4fd7ab3e89aa5b80f30d13d","datavalue":{"value":{"amount":"+0.7171339988708496","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":"Q2914589$CA5760DC-B726-4F28-A1D1-681DD198DF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed818e9b0bc21118eb5da876738184ee79259217","datavalue":{"value":{"entity-type":"item","numeric-id":2867893,"id":"Q2867893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce85fcb47621555bb5a4dd4a67499ede0eea3da","datavalue":{"value":{"amount":"+0.7123507261276245","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":"Q2914589$33233CD9-C4AB-4B04-B0A2-B31E17F6ADE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tendencies in verifying object-oriented software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tendencies_in_verifying_object-oriented_software"}}}}}