{"entities":{"Q2827442":{"pageid":2838180,"ns":120,"title":"Item:Q2827442","lastrevid":83747036,"modified":"2026-05-07T10:48:42Z","type":"item","id":"Q2827442","labels":{"en":{"language":"en","value":"Testing-based formal verification for theorems and its application in software specification verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641141"}},"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":"Q2827442$74A0E7E0-EE8B-4F83-A548-CDA57CD3C3FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d6b90dc28834d9632911bde0aa0c0da130a09d","datavalue":{"value":{"text":"Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827442$38913D87-0430-4FA5-90BB-CFFCB8A21237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c268ebbc0d1bcadcac6b1a99b85235c27d7dc06","datavalue":{"value":"1348.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$82BA80D8-8EE3-47A9-88B5-51BA6720E0AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3515b81ad04bafe855116200831dc1d267965cc3","datavalue":{"value":"10.1007/978-3-319-41135-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$63745AFE-BD0F-4A94-97C9-024BE9F138C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760c696aa2c125554a27da81d14448b2c00cf28","datavalue":{"value":{"entity-type":"item","numeric-id":733758,"id":"Q733758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$B4FAA886-72FC-42DA-B80D-B049B3CD5ABF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$7ECB4C5F-172B-45E7-9D43-D38314A16368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-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":"Q2827442$4460DB88-E899-4754-B16C-18B859523FB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$0F1990B9-09B4-4498-89CF-1E3DA2043EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$9FF12D7E-D484-45FB-901B-3BB0421EE1C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bc8934b4d3c3516773b3b21eaeb9a66d0ad9a3d","datavalue":{"value":"6641141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$BC7E0642-224F-40C0-9492-97E10DFA2B35","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$18618A74-17AF-4D11-97CD-0747EDDFE9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$F90A9311-E9DF-4753-9E96-4059423008EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$A3A6D900-297F-4661-BE4C-851DE636FAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$7C67D7BE-9407-4B50-BD0E-9C75B4B8B803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$D888C990-4F05-4339-8671-46BE689E06F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84c55ec7dedb7e68084313b23bbc7214c8c2d60c","datavalue":{"value":{"entity-type":"item","numeric-id":25198,"id":"Q25198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$233C5FDD-ADED-4E91-A013-A8BC7AAA6448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$48F7278D-651B-48F4-8A44-C43D2F698F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$358C4A99-9EBC-4310-80FB-E56F1C48EA93","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":"Q2827442$825825FC-1AA3-4827-9D5C-A986870F19B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d31a324fc12daf71bdb4f19f4b7b1b0f29c65497","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41135-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827442$6C679FC4-B51D-4A37-93AA-7D30269A755D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac588a96b1d409b0a7d974f04d796cf447e619bb","datavalue":{"value":"W2480689304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827442$618583D9-575D-436B-9362-9043D356DC86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ab3e683fcf1f4589adbbb54eed5465c20ce3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$7C5E870F-9C3E-427C-AB80-33683D16976C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562b44e5b1efd6b73efa833f666ae0b706baadad","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$19D82E7B-8417-4B7D-A665-C9C2C552E7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4c098b634f8d1bea510be7ec12c143e97d0872","datavalue":{"value":{"entity-type":"item","numeric-id":4821318,"id":"Q4821318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$B135DC4D-195A-4C7D-9133-22A364FF8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701be82a30486b7ebafbaaa8a5ae4564b64a8404","datavalue":{"value":{"entity-type":"item","numeric-id":2945645,"id":"Q2945645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$2B7EDDEF-5D53-44BD-9BB0-E08F85C891EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$1A1D0789-DDE6-4BF6-A3C0-BEBB1618BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756847ee0a5714495d1d48723981c83c710cc14c","datavalue":{"value":{"entity-type":"item","numeric-id":5902011,"id":"Q5902011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$22E8BD97-F6CE-4D97-B302-33A031A3EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83a5d6be80ff7c56f0d2c67b4978d186be75a23","datavalue":{"value":{"entity-type":"item","numeric-id":4808820,"id":"Q4808820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$F22BAC18-9629-4AC4-8130-610CED6C304A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205c08696432fe6fb2aa4d60cba9d5ff5834412f","datavalue":{"value":{"entity-type":"item","numeric-id":5325867,"id":"Q5325867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$979A8C2B-B02B-4F90-A19D-95EE4734CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9256d8bff8cf89b8462516533fac8a7676eef5a","datavalue":{"value":{"entity-type":"item","numeric-id":2842624,"id":"Q2842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827442$69F5DC77-7683-4D7D-844E-52F4B82ABDDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cd1bcaba57ac722cc1402854334ef1026f6e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4808833,"id":"Q4808833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5949463a74c262792844bff3167c23ade555d9c","datavalue":{"value":{"amount":"+0.7451124787330627","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":"Q2827442$26EC8648-05BD-4876-9EAB-27A2CEFB546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc4f170eb1f53eb9f2c494b158fd50c0aba6403","datavalue":{"value":{"entity-type":"item","numeric-id":5716882,"id":"Q5716882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e9da09cbd0621354b637ba99a6653d30050d2c","datavalue":{"value":{"amount":"+0.730449378490448","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":"Q2827442$10E89018-F560-4197-A317-51102F848FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1383c9dba4568785f04654fff667772e250d9c24","datavalue":{"value":{"entity-type":"item","numeric-id":2848448,"id":"Q2848448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68623d07aaf403982cbaf19fdfc93dcc34e65310","datavalue":{"value":{"amount":"+0.7245554327964783","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":"Q2827442$AFD88187-D05F-4F45-BF41-1F84D40216AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db2bb10ecc705215cdfbf0270a38f2d76925583","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77181b07f84bdb7e9c80fccbd3489c4b8b51e264","datavalue":{"value":{"amount":"+0.7179238796234131","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":"Q2827442$FCB3B866-5E99-4337-95FE-AB7A84114F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74c7e8c22493913b8e7c02f5abbad415a4bff94","datavalue":{"value":{"amount":"+0.7119415998458862","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":"Q2827442$54D24D22-E41D-4E03-9CE8-6752CD0F5885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing-based formal verification for theorems and its application in software specification verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing-based_formal_verification_for_theorems_and_its_application_in_software_specification_verification"}}}}}