{"entities":{"Q6488579":{"pageid":14067348,"ns":120,"title":"Item:Q6488579","lastrevid":103341587,"modified":"2026-06-06T07:12:04Z","type":"item","id":"Q6488579","labels":{"en":{"language":"en","value":"The theorem prover of the program verifier Tatzelwurm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680847"}},"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":"Q6488579$9A792A2A-844D-419C-8E6A-107786ADEFE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3297ce0ca09d20f9d4c077723ad165521862b572","datavalue":{"value":{"text":"The theorem prover of the program verifier Tatzelwurm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488579$D109C312-E46F-4485-A9D1-15EA839CAADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"684e3e1ec8c8af876b9513ff43cd1ae7bb84f3d6","datavalue":{"value":"1509.6831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488579$F39FC683-B774-42C2-954B-B5B7917064B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0908a0e490ff29200f3cf1d087794b949c0cd5a","datavalue":{"value":"10.1007/3-540-52885-7_128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488579$5F04FFB5-8611-4A3C-81B0-87AD9E6C2081","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adaa6412a873923474a00db1d33cd1db3a5bff6d","datavalue":{"value":{"entity-type":"item","numeric-id":3780418,"id":"Q3780418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488579$E5347420-0FB1-402F-8E0B-E0587CAEBF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de61a30031ada83def5fe35c26b2a988eda26b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1198234,"id":"Q1198234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488579$F2268E5A-B045-4A40-8DFC-77E1AF2A2998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488579$856DF90D-8BCE-4AD1-8D42-8601B4EE3915","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488579$ED41ED7A-82EB-4DE1-B2E4-A5CD7FB63AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488579$E100F907-5B24-4755-B66E-31C7B6C2897B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e45e1d59e88aa4ec8f4eabfc07b29d34a0dd30","datavalue":{"value":"7680847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488579$1EA2D278-75C8-4271-8921-EB5EC40453B6","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":"Q6488579$0B7B2A02-008C-4E89-ACB3-C604A09DACBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488579$4518D98A-3803-4C35-9DEB-DA15AF8FE30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488579$9CA0D38F-4D12-40A1-9EC1-885E0AE84E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488579$04B1B743-B33A-48FC-92D2-28F6C5B197F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theorem prover of the program verifier Tatzelwurm","badges":[]}}}}}