{"entities":{"Q5145272":{"pageid":7174843,"ns":120,"title":"Item:Q5145272","lastrevid":53911511,"modified":"2026-01-25T22:22:25Z","type":"item","id":"Q5145272","labels":{"en":{"language":"en","value":"Continuous reasoning: scaling the impact of formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298726"}},"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":"Q5145272$A404AE6D-6202-4446-92DB-AB9114DA4E22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b414d71e8e4eb5aebde38f9cea2fae76d52d12b","datavalue":{"value":{"text":"Continuous Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145272$84BF15AC-8F22-4464-9409-4EAD65A31BB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2252d66b455a66c1fc65f2c8afbb5d5b1905fcd","datavalue":{"value":"1497.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145272$96DCCF28-79BA-4F44-A88D-6F9577FDE8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d93f3bfab18ef1fe390e9afe6b903fda25c066c","datavalue":{"value":"10.1145/3209108.3209109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145272$F4DE47FE-1A0E-41F4-AF2D-B1048BCEEE72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145272$2C603FA8-13CE-418B-8CE4-2101065A164D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-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":"Q5145272$7904FBF6-38A5-4C40-9F0C-C54950552C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145272$36941857-BD94-49B4-BB54-55F7D372C74E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"470698d4e05d3ee243f54f3bb011ab2699a12ccf","datavalue":{"value":"7298726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145272$8F548A5C-D3BB-4A35-BCB6-B9DF04D61B56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"798e9e4809c990740a38d46bf600f92d4e2d99ba","datavalue":{"value":"continuous integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145272$0E9FE1BA-9A2D-4349-BE2F-AE36AF87C691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145272$30E33122-FD01-4E47-AD81-F7740B540BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145272$4ABBA921-B015-4334-A5D2-685F17998703","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":"Q5145272$26D8DEB8-CA5C-4A08-A826-3540A9FA9824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac2106bbd311382cda2a358438e6c3da3b105e2e","datavalue":{"value":"https://doi.org/10.1145/3209108.3209109","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145272$8209734B-EB89-45B4-BC5B-2C5A02C5D972","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e6ea50d4bc524b29383d34b87777ce4c6899b81","datavalue":{"value":"W2810768857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145272$222FAA74-388A-40C8-ADCF-C77461333B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b721e2e15e13270fff79add8f0f0256ec04dbe04","datavalue":{"value":{"entity-type":"item","numeric-id":5897314,"id":"Q5897314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76e62fb99ef8b10b5247cf747555a5cf2f4e0e2","datavalue":{"value":{"amount":"+0.7095751762390137","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":"Q5145272$292FDF75-491B-4857-9676-EAC7EFE71CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d148d1cdd2114dfcc43253e38bae22ac75faa3","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6ff3fec51798a670b2ddb7967812a4c63cee1e","datavalue":{"value":{"amount":"+0.6834316253662109","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":"Q5145272$4FC708EB-454E-4E5F-9128-E8DFE12CF7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ce327f825f9110269af62f15b672a79241c51f","datavalue":{"value":{"entity-type":"item","numeric-id":4499186,"id":"Q4499186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032a5c63f359ea1561775dbc0633f534349bd676","datavalue":{"value":{"amount":"+0.6794396638870239","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":"Q5145272$EB33AAB0-59E9-4AE9-8E20-067EB6080480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a14bbc2415120cf6e4ae74ad733245df7d23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5034385,"id":"Q5034385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca68296adf3ef5daea35cd369f5278f5609a4ed","datavalue":{"value":{"amount":"+0.6783116459846497","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":"Q5145272$DE50C451-3FBC-48A4-9DD9-22C376B84CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a21877cb04260e34a80231c90205c0ccc55746b","datavalue":{"value":{"entity-type":"item","numeric-id":5394516,"id":"Q5394516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6906f4ee1c0fef5e863f27564bc1ac5f19b98a8e","datavalue":{"value":{"amount":"+0.677304208278656","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":"Q5145272$41A57E5E-36C1-48B8-ADE0-3BE55C061628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145272"}}}}}