{"entities":{"Q1240548":{"pageid":1251298,"ns":120,"title":"Item:Q1240548","lastrevid":67239543,"modified":"2026-04-12T16:18:06Z","type":"item","id":"Q1240548","labels":{"en":{"language":"en","value":"Axioms for total correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3566116"}},"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":"Q1240548$BB6FB255-23AF-420B-B48C-A0741DF5C85F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea8e423bc7d2f647598b26c38ea1f273778822bf","datavalue":{"value":{"text":"Axioms for total correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1240548$167D739E-6C49-4676-9669-ACDFC836E814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d227836d26179e5e22905bffd4c7d80f92c1ec07","datavalue":{"value":"0363.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$2A6C47A0-7403-4165-BE3D-D7BD2A75D7B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb38749dbad01b89e1919e945185c77307ebab10","datavalue":{"value":"10.1007/BF00263765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$B8CD2E88-E551-417C-A517-0ACB0C696E49","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":"Q1240548$E4D40CCD-DD86-40E1-9BD6-C81179686860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1240548$5A029750-C5EC-4FCA-9E5A-D28D74C5B14A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$9D43DD72-98BB-40F0-BF35-B8FD17E4F78F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8262bf7ae92531c4a065a5530a5a05ac65453b","datavalue":{"value":"3566116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$13B8EEC5-64A9-4207-831B-A71E10B2F5D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c73fcafe26254af46ee329dcb936cacf9353bb6","datavalue":{"value":{"entity-type":"item","numeric-id":229500,"id":"Q229500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240548$125ACFA1-3405-4028-8123-E3CBEA02BC04","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":"Q1240548$9302794D-38A7-411B-A31D-398D8DCCCD0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6757dafb3f6a02e605e137a809c57b42c9029789","datavalue":{"value":"Q114694822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$4252E7FD-B796-4604-9209-359D4BAA8190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21e7f395bd34b7c7da3365ae6e1eeff845e3f015","datavalue":{"value":"https://doi.org/10.1007/bf00263765","type":"string"},"datatype":"url"},"type":"statement","id":"Q1240548$028775F0-041C-4501-87B8-EB45634740A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c881182948c330e4578956060b79649f3f16146","datavalue":{"value":"W2037779985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240548$203B74DD-3924-4653-8040-B5A06F085797","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for total correctness","badges":[]}}}}}