{"entities":{"Q1818758":{"pageid":1829500,"ns":120,"title":"Item:Q1818758","lastrevid":69036297,"modified":"2026-04-13T03:54:49Z","type":"item","id":"Q1818758","labels":{"en":{"language":"en","value":"Presenting inequations in mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384379"}},"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":"Q1818758$D75D7FE0-3514-47D3-8EC3-85077216D102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5693084a740bbc51801845b02b232e7d1702621","datavalue":{"value":{"text":"Presenting inequations in mathematical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818758$A9BF1BBB-F181-4BDB-B2E2-BE9AC9F0B8D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef2560f3f98e9f746b30db7687884c55c393a132","datavalue":{"value":"0933.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818758$2F38034D-5B87-4C89-8258-785AD27269E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6c99288c0ebab47e1b4b6c0160db9110e4fead8","datavalue":{"value":"10.1016/S0020-0255(98)10094-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818758$95F614C0-D5DF-479E-AAA2-5318B21544E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7aaa622cbaa9b8995dcae1c73d06781ceb62dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1818757,"id":"Q1818757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$49BD6DA7-9323-48F6-A04A-5A5FF6EDF662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c31c2d4caa7f8174692e8f25d88bb2a270f353dc","datavalue":{"value":{"entity-type":"item","numeric-id":1366218,"id":"Q1366218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$AD2950A5-D0D7-43DB-864B-DBBAEC06FCBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$4C4F6B02-6C01-44CE-AEDD-26401C4B0EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818758$7A326A41-DA00-490D-9D02-7ABAF944DA0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818758$9CBC2503-2FDA-434D-AB9A-3073E1EA2FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818758$5DF336DE-3D0B-438A-B8BA-FD08C0FCB0F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba98eb8d2a51eff349bb8289564845f24b334f73","datavalue":{"value":"1384379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818758$F1E9CE2E-049B-4F76-8EDE-DDEC3B8B59F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805355d9dca59f9ead99694d5a5a82631a6613d3","datavalue":{"value":"deductive planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818758$41CB221A-B018-4F33-989C-318983D02421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d369d59678670f70ef5195071133287461f56542","datavalue":{"value":"formal methods in software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818758$91FD4166-F159-4F95-917A-FB6128723530","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33025e7f0f9434a19feaa7149fccfa54ebe2df5d","datavalue":{"value":{"entity-type":"item","numeric-id":41386,"id":"Q41386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$13A45F26-C1DB-47F4-B303-5733A3787272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fea2f9619de059473275bc7b30252f10595c358","datavalue":{"value":{"entity-type":"item","numeric-id":41387,"id":"Q41387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$6527D303-0CEA-4B8A-B974-9496FBA03C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$68B7902F-5191-4ECD-A246-2497EFCBFD23","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":"Q1818758$8AC4ACD0-D626-44B0-B7B8-F61B23009885","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e3517581f053bd397311cfe8d27c9b34620e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5234706,"id":"Q5234706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$69EA646E-BF3A-4A11-9773-D9A24B750A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c0bf0b74b546b0c2723c33e530ed5e26ab4372","datavalue":{"value":{"entity-type":"item","numeric-id":4647515,"id":"Q4647515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$914AB944-6588-4FD2-8FC9-9FFC897B1F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e676da38d777563663597edd24cfe10db73770b","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$7D546420-0B93-40E4-AECD-9448B8ABED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5940c2eeadfb10e8c933cca63a84df97e602243f","datavalue":{"value":{"entity-type":"item","numeric-id":3940021,"id":"Q3940021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$FC1A0B7D-AEF2-48BD-9CB1-0F045F644BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$4BF87D88-DB13-4456-A71E-CDEA9A95D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$E5B04C2F-A206-45E5-8EE6-76643957D3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$D7F180F6-8148-4442-B3EA-F335E8566209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8689aac456abefc73dbfa88f1b4f50c75f8254f7","datavalue":{"value":{"entity-type":"item","numeric-id":6488544,"id":"Q6488544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818758$7DB8FB17-C36A-4183-8CB2-9925A7053B6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb496ff782047b2099af04ec16756413ce47453e","datavalue":{"value":{"entity-type":"item","numeric-id":3686657,"id":"Q3686657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3c08ab290b5bdd12a39b44f28a5dd5d89933ba","datavalue":{"value":{"amount":"+0.7121970653533936","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":"Q1818758$CF7B57A2-6938-452F-A201-225332496E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a5d18780a3dbdb4959fbe9fb76a2b4792c26e8","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"333a46f87f654e10b43209d895188882e1de9c45","datavalue":{"value":{"amount":"+0.7003037333488464","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":"Q1818758$A2B6E402-EEE8-4482-806D-745995840F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a63a767f74be5643a0902b982692276597fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4647515,"id":"Q4647515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070da5f017396e86265fda07fe8dc94f27bc31ea","datavalue":{"value":{"amount":"+0.6989484429359436","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":"Q1818758$8D794C80-8DD8-45E3-9511-C9DE03132BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72684c9b287758706928e3c04d081a42aeb9d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4342457,"id":"Q4342457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32737f47cafc0a5bfb87f492b810509b194a4696","datavalue":{"value":{"amount":"+0.6978593468666077","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":"Q1818758$FC90BFBE-D0A4-4AED-8823-AFD12FDB2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa3a27f7f6b440c0e0b78bfb9bf2bd8d4cf20c","datavalue":{"value":{"entity-type":"item","numeric-id":4870018,"id":"Q4870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f00093a15138a048cb30a98e13deae21bdb25c","datavalue":{"value":{"amount":"+0.6955620646476746","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":"Q1818758$B618927E-AF26-4F68-8E29-C40ED9E08430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presenting inequations in mathematical proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Presenting_inequations_in_mathematical_proofs"}}}}}