{"entities":{"Q5427797":{"pageid":7457371,"ns":120,"title":"Item:Q5427797","lastrevid":101136206,"modified":"2026-06-05T23:58:06Z","type":"item","id":"Q5427797","labels":{"en":{"language":"en","value":"Logic for Mathematical Writing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5214638"}},"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":"Q5427797$532E6472-F580-400E-BF1C-D959F43DD71A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfd7ba5dce5f9eaac20330adb972648eef7932f7","datavalue":{"value":{"text":"Logic for Mathematical Writing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5427797$6CF30F1D-1273-4CF2-B7D8-A99C436881AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"816c15d8fbb17eedc8d004447248ce7a21bf2775","datavalue":{"value":"1127.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$6F229355-AAA2-43DB-951B-652FAFCBCD62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e150cbe7c9ed945e0dc0d9594a504bffa073e61","datavalue":{"value":{"entity-type":"item","numeric-id":379583,"id":"Q379583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427797$85EDD522-EA50-4943-93A2-BDD06A805003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427797$23916944-063F-41AF-B311-DC1394D4B6D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d3c81716afce7f45572d1eff1ccb9e36c259bf6","datavalue":{"value":{"time":"+2007-11-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":"Q5427797$068F81A0-AF68-4D8E-AEE9-05D6DC8DDA3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3eff31abb68024bcacb922cf65fe4275c767c7f4","datavalue":{"value":"https://semanticscholar.org/paper/6f59eb3b6459e47c1df41f9f03ce01fb23ec824b","type":"string"},"datatype":"url"},"type":"statement","id":"Q5427797$B7270D1D-92B5-4B95-B438-C7AB87C252D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$DF653D3E-23BE-41FF-A045-6E186A626F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$646A3F2A-A51E-41F8-B2AB-5C7D6A2B3C51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54b10cad4c1dd0954331db7e803445472f99e0d0","datavalue":{"value":"5214638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$0EBD5FF3-F6F9-405F-82FC-30CD979301E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecc29d62e2385f65406f7f150c2ca4699d858af","datavalue":{"value":"mathematical exposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$DB3B9D63-0AEE-4F8C-9632-6145653A67B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$B5958C53-02DC-4B1E-B7DF-2B3B352094A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e1c8099f151f889fcfc91765907a33343c07b3","datavalue":{"value":"informal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$2D6E57E9-6ADC-43E5-BF70-A68F60210F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f05be2d10123a1e91449751cb097dd81158aa27","datavalue":{"value":"discharging assumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$C400BB64-0502-4AA3-9604-9787283A188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$CBF76406-C2D0-4697-9AF7-D473979098C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b7e96f007eb3a56d5885b03a7cea2baaee5620","datavalue":{"value":"Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427797$CA1D0990-20DB-47C8-9196-EE698A4C231C","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":"Q5427797$1532F3B2-D51C-4FE4-BA33-903EFCFB0633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1302239514c0d6f80d4c207452c57d68795b2f35","datavalue":{"value":"W2082145599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$84D38068-9C49-4B6F-8194-61633AD100F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"972ed5d109a73d474980ead870793bde9c64a5a6","datavalue":{"value":"10.1093/JIGPAL/JZM022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427797$AC2A43F2-AF4E-45FE-AE69-2A1871D9939A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427797$D0C15242-B579-403B-8D58-1CA43C00DD06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9c8e6130076baf5f5b41aca7c5d63ae6c4a1d5","datavalue":{"value":{"entity-type":"item","numeric-id":5495105,"id":"Q5495105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2374504e5d22d0e71ee28a54c7eba76befae779","datavalue":{"value":{"amount":"+0.7930256724357605","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":"Q5427797$99DE9BF1-521C-494F-A868-740384E7817C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9900190a5cc3a1844c70ca7fda25863395b4b2f","datavalue":{"value":{"entity-type":"item","numeric-id":3997716,"id":"Q3997716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db04e7008a74377d0bffe8339b5cbfec82f3f2f2","datavalue":{"value":{"amount":"+0.720840573310852","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":"Q5427797$7A477B4C-FC8E-4571-AA62-CC10460DCA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0312829c9d1fd9ad74e05520e78139d9c8b4bff2","datavalue":{"value":{"entity-type":"item","numeric-id":4599226,"id":"Q4599226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb83d5272ac07c69b382f22237b2884d73387f8","datavalue":{"value":{"amount":"+0.7206848859786987","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":"Q5427797$82213F39-9BF6-4957-AAE7-38D1F0715685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8d549a04857835a019f4b4a8bcbb8ab44252d7","datavalue":{"value":{"entity-type":"item","numeric-id":3516027,"id":"Q3516027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae18906b24448913f767654eba6f6e9e6bfbee17","datavalue":{"value":{"amount":"+0.7040607929229736","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":"Q5427797$712645BE-D0F4-4CAF-8331-7EDB6FCFF716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57464411978684935dea54e7a78405c8d789104b","datavalue":{"value":{"entity-type":"item","numeric-id":4925874,"id":"Q4925874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5e5e0ed42a49f0882e86e238874f5443763e56","datavalue":{"value":{"amount":"+0.6982567310333252","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":"Q5427797$56024FF2-7FA4-4C72-951A-1F7F402B2843","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic for Mathematical Writing","badges":[]}}}}}