{"entities":{"Q5505538":{"pageid":7535098,"ns":120,"title":"Item:Q5505538","lastrevid":50550425,"modified":"2026-01-14T09:07:00Z","type":"item","id":"Q5505538","labels":{"en":{"language":"en","value":"On Correctness of Mathematical Texts from a Logical and Practical Point of View"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498257"}},"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":"Q5505538$B736D2B5-1849-4953-A128-1AA420C60CDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8712bf25040fb61f8a4e617bf697c204a7a26ec2","datavalue":{"value":{"text":"On Correctness of Mathematical Texts from a Logical and Practical Point of View","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505538$92A5FB35-7D76-490B-824C-2FA7977F2B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c0675686773b44380a28ade641f76739f82439","datavalue":{"value":"1166.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$A0318905-98C7-43AE-8815-0176D2F071B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf67ce0f003b14a4333a5320d522c2597392960","datavalue":{"value":"10.1007/978-3-540-85110-3_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$4C286181-5A15-4CDE-B7E9-C75175CD29C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ddcc94cda6405b4202e77d17badedaec16490ea","datavalue":{"value":{"entity-type":"item","numeric-id":865653,"id":"Q865653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$7DD2A066-D219-4C18-894E-E5561830F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec54547b4f5c25170660bf9ec332f673814ae34c","datavalue":{"value":{"entity-type":"item","numeric-id":287383,"id":"Q287383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$156211C7-2FC1-4A9C-B57E-54CA80F3AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3baa85547fd531de7a5ad0a47f954b54157ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":865651,"id":"Q865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$8DBE1C79-7C33-42CC-B120-B1F2BBF5FD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab835ee823091d1ceba22c60aa80cb8715e52e75","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$36033E78-CB16-4199-AB8A-62AE051E9CE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$941BF7AC-2F83-4843-82CD-D1C3406438DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505538$708CAB3C-8E4A-402D-B5DE-E9F322D9469C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$41F8D8B3-43EB-4493-BAB8-BA2B4FC1A7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$5F725838-3653-414A-8323-B06F459033DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309e7c13741ffc6f1fd7d359f0ffa64b7c664472","datavalue":{"value":"5498257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$FC4B44A7-8E57-41F1-B364-2D8934B1D382","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$B88E49B9-6FE0-4F28-BA00-6856CE9E7905","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":"Q5505538$C4F27A2D-594E-4082-9480-959F3974F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$62895A71-AB26-40DB-8E84-1D9E1BF2CBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91b852acc0d0dcb394ea74c8e76a901ae0257702","datavalue":{"value":{"entity-type":"item","numeric-id":21776,"id":"Q21776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$B88E5310-8A04-4385-801D-8294838FF47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$254D3798-5F5D-461D-919C-C8E1E37B0D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$77B78125-FFA5-41F1-88F0-BC62D4C4E73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$4D81CE39-365D-4CAF-884D-0254B480F333","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":"Q5505538$4B51CC1A-A3AD-4B5E-9325-48A512E8C03B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"479f50fb2801331061257c345a9ed1218fdd7e69","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505538$1AA851DC-887E-4B13-AFA8-88683A213EAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16a5724c8bd62050bb6066ff505f779ec4ddc878","datavalue":{"value":"W1486518179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505538$64585117-C6F3-4098-B8AF-2F3E7E534823","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$7059B9BF-99B6-4B9E-B1C0-50FEAABCD36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$C2D583B8-4988-4245-B2A2-20C5A17FEFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa64e19e738b1be07da474f9589eb337bbcf39a9","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$B6A4B9DF-1519-4EC3-82CE-C1803ECC6BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5232218189353792c35db848678e911386cfd1","datavalue":{"value":{"entity-type":"item","numeric-id":865654,"id":"Q865654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$2BD6CED0-4DFB-4514-AF52-D3D350ACB51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b79119f9505990ffd9f1c920604fb44a0b0165c","datavalue":{"value":{"entity-type":"item","numeric-id":3608785,"id":"Q3608785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$328B005B-4E88-4FAB-A842-6A578BFDDA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$A22EA9FC-EE99-4601-84ED-32C6560DFEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$8A0A1003-B505-43FC-B1E0-60DE3856BA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$546AD32D-F360-47C8-937A-E68471FA4ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$1EF79745-0EBA-4F95-A003-238831295703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1efaf3011598847d3954f457cae839aa26e35d","datavalue":{"value":{"entity-type":"item","numeric-id":1876109,"id":"Q1876109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$73FD89BD-F8AC-4625-B928-325C70518BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57efc25d98be75ebbcbd3bd04b7a7862a70d9a8","datavalue":{"value":{"entity-type":"item","numeric-id":5313054,"id":"Q5313054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$30F05811-CD03-416C-B41F-9F49740268A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e013849775846918727fac3e7e6455bd448813","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505538$10669A28-AF28-47CC-84A5-E6B22FF77B88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4484c55013c6ae9a04104afe76238053bc0ad312","datavalue":{"value":{"entity-type":"item","numeric-id":3608785,"id":"Q3608785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af66882dcb571e0c0c5acf4d70357287d8255e9b","datavalue":{"value":{"amount":"+0.8390880227088928","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":"Q5505538$312B2247-4305-496F-B8F9-2BBD154399EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2589b4d950514d08e586bca1e09d5ad20ae45c3c","datavalue":{"value":{"entity-type":"item","numeric-id":865654,"id":"Q865654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153a57a487588c99c60017fa2c3327db8ff64854","datavalue":{"value":{"amount":"+0.7898256778717041","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":"Q5505538$ECF295CA-40EB-4B46-9B4D-D94D2EE5BD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613946a2c96579dfa5c29e13693a001e7089eaab","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e645cc013058bf707557e2e628b9b70d582e229c","datavalue":{"value":{"amount":"+0.7874139547348022","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":"Q5505538$3900B8E0-4D49-4B6F-BDD8-0ED167F3A4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f5a712434b519e83eb4cd0655faaf4a1e99d17","datavalue":{"value":{"entity-type":"item","numeric-id":2219411,"id":"Q2219411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1143c05ac085836c5188b44ffce1a2dd51c9464b","datavalue":{"value":{"amount":"+0.7854589223861694","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":"Q5505538$DC216B0A-0E22-4378-871F-5E1AE0FEAF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03883927d6d0e525f659609548447e11342cdb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4c27250b7a64c29ac1ec833eac9877b73fba50","datavalue":{"value":{"amount":"+0.7811774015426636","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":"Q5505538$3D2DC546-FAF3-4338-9862-1F914D41690A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505538"}}}}}