{"entities":{"Q1859528":{"pageid":1870270,"ns":120,"title":"Item:Q1859528","lastrevid":69366324,"modified":"2026-04-13T06:31:24Z","type":"item","id":"Q1859528","labels":{"en":{"language":"en","value":"Pinnacles of software engineering: 25 years of formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1871357"}},"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":"Q1859528$BECF4C41-1CAA-449C-86C6-FE034A966BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65f9d13df0ed9948d2a8fec905c02bbd38a37e1f","datavalue":{"value":{"text":"Pinnacles of software engineering: 25 years of formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1859528$B1B18223-D6AA-4915-B65B-6AFEC3E227CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28cbe78b1cfe04c11edf5dc783b689880b866c4a","datavalue":{"value":"1012.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$BFE7AF49-6721-4DD5-9D51-5C0C1C11B23A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbecf7470c81ad38b005365d7f5865cc5a08b7cc","datavalue":{"value":"10.1023/A:1018983515535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$7E14C8FF-5FED-4597-AE42-AE2EA2850C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d89fedbad2eea519b9fc381971777379c6ddf4","datavalue":{"value":{"entity-type":"item","numeric-id":520234,"id":"Q520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859528$9A26C269-5A08-404E-8454-A853CBDB65CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3eacda0dc3500812c2ceb2251f75ff6a28f0c77","datavalue":{"value":{"entity-type":"item","numeric-id":241035,"id":"Q241035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859528$46AEDF80-D1F2-4644-83B2-A0DAB3EA3E08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01951c93e885717866d268dd1e73bbf555019176","datavalue":{"value":{"time":"+2003-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1859528$63ACBF72-66F9-4723-BC4A-D9C168FEF48C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$D467B012-6E8B-4D19-84D2-E3BC86EB3F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$2D682FF1-F43C-4364-978E-D55EA6D2CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$4E357A5F-4D44-4D59-B154-6545AF03D5A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21de88b93af64cf6a9558b1708fa4ded6633f907","datavalue":{"value":"1871357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$21706DB5-A472-4E2E-8CE5-A72672B42FDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859528$16DDA38E-6AE6-44A2-9FD4-8A0435C55389","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":"Q1859528$2ED5868D-B6D8-40BF-9573-C1BFC73A30F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1fad9955f68ba3be9092d1dcb2435b2e1cee4bd","datavalue":{"value":"https://doi.org/10.1023/a:1018983515535","type":"string"},"datatype":"url"},"type":"statement","id":"Q1859528$4EC3357C-F532-49C5-835E-E07EC527F41E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bb5b0d7023e220cfbb1cebb008a845e1c7d293a","datavalue":{"value":"W1810732680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859528$04C8F781-520B-4CB3-8E7D-337EED85847B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef891d76cbb7169709430ec1404ebbc685c89d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2077760,"id":"Q2077760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1279c9e76071a649a3b553d975d7ddcf3bf6d3f2","datavalue":{"value":{"amount":"+0.7748289108276367","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":"Q1859528$B881EE46-BC82-408E-912D-33DCD0D00DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9cf26616ec71c3ac535804dd89c30dd46fd4de","datavalue":{"value":{"entity-type":"item","numeric-id":5498750,"id":"Q5498750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36ed9972d216a56863bfdb1605f4503ab66b2bf","datavalue":{"value":{"amount":"+0.7699264883995056","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":"Q1859528$6A7BBA9C-EE69-4122-BD97-A4187E6197F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3072ba89e93b32d4044369e3b290fc35306c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1188662,"id":"Q1188662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b8e9737b8489be70fb141ab6da8b938b637e19","datavalue":{"value":{"amount":"+0.742879331111908","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":"Q1859528$FAF0C887-B8FB-4A98-9706-FED417B59B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6288b091d7eea950989e8be23505c586be423fc","datavalue":{"value":{"entity-type":"item","numeric-id":4671215,"id":"Q4671215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e71092c0cc040fd784ec6425ba3aa29209bc1f","datavalue":{"value":{"amount":"+0.7394710183143616","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":"Q1859528$070B69B5-DAA4-4DA4-83E0-1F4FB48428B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ac47a1e8baadc9908266a116019538ea32c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1773139,"id":"Q1773139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da33d9734c22bfaff58a881ac5fc3938b5981fd0","datavalue":{"value":{"amount":"+0.7341099381446838","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":"Q1859528$C55D6594-4093-4309-B9EA-B2AE6933C77C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pinnacles of software engineering: 25 years of formal methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pinnacles_of_software_engineering:_25_years_of_formal_methods"}}}}}