{"entities":{"Q3868726":{"pageid":5898631,"ns":120,"title":"Item:Q3868726","lastrevid":54571160,"modified":"2026-01-28T18:09:51Z","type":"item","id":"Q3868726","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3671649"}},"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":"Q3868726$3E1F7E55-7AB2-4BA9-9D6A-F8049F3C3C4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02f4dc8ed79b69f93b85e5113e128a2e5d4030f","datavalue":{"value":"0431.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868726$E5244DE2-A724-4809-8B9D-91314B4F005E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3868726$1DBF7C8F-4A02-4202-B48B-9A9651712AC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3868726$AD1F0BD6-6753-45E1-A095-C25004A830AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868726$C8D32E30-9D3A-4285-A3C2-B001906C47BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868726$C7EDDCD8-BEEA-49A2-B800-97FAA3B72584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffe2516c861e3fcdbe7ae1379dd19b155a2beba0","datavalue":{"value":"3671649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868726$15DF13B0-4DA3-4D2D-96AE-74A2093CFE6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$BEDE64FF-6BB7-4855-AF22-BCDA039712BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$E64A1062-C298-4FE8-B026-2C5AB8D4AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$11E5AF04-1A5F-43B6-9AD4-37049BAEECDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8be15f4d53aa0711871b7f62e3c87ca13420b15","datavalue":{"value":"clean termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$ECA0F9DF-4E03-4862-8235-1F275CE0AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c6535c88ecd22182bd382f813371edcacf6c5b","datavalue":{"value":"run-time errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$13BD0572-DB05-47B5-BBBF-D4145D940EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$4206FA03-647F-429A-BAA6-3AC22A6480DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f00adcd4cffd0336e667257c7030865272093aa","datavalue":{"value":"multiple exits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$B8B04B8C-33FC-4462-A693-225DEA5EBF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa29bd3dd0d54d16ffe8d35d781840db3f7e97b","datavalue":{"value":"transition diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$DFEF52E7-C79A-4625-A9EC-614336488EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$2941FCDB-17EA-4B69-8337-B4B145997DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$8322F615-7016-40C9-A15D-9CFC824E691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$E847B960-9716-4BE6-9509-52259E3CE2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$4900370B-DE8F-460F-83C5-C631B0A2A5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159753ef24dc848cc4538e1a7940419209e0d59e","datavalue":{"value":"variable initialisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868726$D38236F8-6230-48F6-A85C-ECE2CFBAC84F","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":"Q3868726$7C94669F-4A64-429B-B37C-12CE1E894C0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3868726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3868726"}}}}}