{"entities":{"Q2561482":{"pageid":2572225,"ns":120,"title":"Item:Q2561482","lastrevid":44359986,"modified":"2025-11-22T07:47:20Z","type":"item","id":"Q2561482","labels":{"en":{"language":"en","value":"Axiomatic approach to total correctness of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3415372"}},"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":"Q2561482$DE94B10A-FB91-425C-A44F-DF2739EB2DC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e3056041aeef7617c667f4f9d4ca3abeb30941c","datavalue":{"value":{"text":"Axiomatic approach to total correctness of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2561482$001B8EC3-1195-4BB5-A93E-32440741B0B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"888a6ab3f8b5cdb6bb17fb280c066bdb3c50f748","datavalue":{"value":"0263.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$F7C64F2F-9A33-4C91-901C-FD8E65C87C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a92cd8403cf24ad65e2867bcd36fe13af24225bd","datavalue":{"value":"10.1007/BF00288637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$90E792F5-0AE2-4D38-90EF-552F11D45DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$E852C23A-458B-444C-8486-206C5061F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$E8A2726A-058B-40D1-B6ED-889C5A1A0166","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$EAFCB45A-79E5-443D-92B5-9A1ECF3D029F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q2561482$58E285FE-E7E1-495F-AF82-28B83ABF7757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$2F3FF230-E906-4F97-9530-66718DBBC157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$1094364A-D9D5-4542-8779-C67B21EAB9A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4cde8972d9f696915742ed8b81c7bfcc9ddc235","datavalue":{"value":"3415372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$4971B1D5-8007-4914-90A2-E0EEFC7169C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aadc3562b5d3cd99740f94e9d46e7f210998eaf","datavalue":{"value":{"entity-type":"item","numeric-id":33419,"id":"Q33419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$8E6E0991-1C93-4CF8-B744-679EBA7EB2AE","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":"Q2561482$F966616D-9AD8-4381-9E63-8AB508AF1C81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b7795eda0ca46952a7881e92b1da7ca5b49d572f","datavalue":{"value":"Q56235455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2561482$ECBA66AE-58F1-494E-BA42-4C96C13C18A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$A377775F-903B-4C14-B0DB-E2CC0BF996E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50abac9b5648a878af003e7eaa6c6d610ba9983","datavalue":{"value":{"entity-type":"item","numeric-id":5621948,"id":"Q5621948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$C47F1CCC-C2C1-4F92-B615-7CA40AC08874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2561482$320B19D9-3C93-472D-BD78-732419BDAABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2561482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2561482"}}}}}