{"entities":{"Q2428614":{"pageid":2439357,"ns":120,"title":"Item:Q2428614","lastrevid":73401867,"modified":"2026-04-14T15:47:43Z","type":"item","id":"Q2428614","labels":{"en":{"language":"en","value":"Pseudo-valuations on pre-logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6028276"}},"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":"Q2428614$8F0E8394-B349-42D9-97EE-B71973C1BDEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a6d565b802fd0b8b18b5478bd38e70a454676d5","datavalue":{"value":{"text":"Pseudo-valuations on pre-logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2428614$EAEC6123-7DC8-4CC8-9C82-5F036B452AF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d25c9c4dd44f7bdff2b1d5bc9daaf1877ee0cad","datavalue":{"value":"1265.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428614$C9336143-524F-4876-BBB5-D4E41A80DB07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfe20a160b73ef03765579b339fe07aab01e56f","datavalue":{"value":{"entity-type":"item","numeric-id":212118,"id":"Q212118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$9FECB665-D220-4301-B501-BEABDD6D40C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4edce6889de187fe685062a53cbb17bb02163e","datavalue":{"value":{"entity-type":"item","numeric-id":162483,"id":"Q162483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$E1FF2634-2122-40BB-B36B-91A998948733","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$5679C267-A729-4308-B9F6-6D85573CD030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52b04daa1d703ea977748e4d42defef3819c2dd9","datavalue":{"value":{"time":"+2012-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2428614$FA7F206A-41F4-4AB9-9FEF-0678ED069601","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c3e9d0e3062e32821b8f0c29dc352601aa52044","datavalue":{"value":"A pseudo-valuation on a pre-logic \\(X\\) is a real-valued function \\(\\varphi\\) such that \\(\\varphi(1)=0\\) and \\(\\varphi(xz)\\leq \\varphi(x(yz))+\\varphi(y)\\) for all \\(x,y,z\\in X\\). Properties of pseudo-valuations are investigated, and conditions for a real-valued function on a pre-logic to be a (continuous) pseudo-valuation are found.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$16AF1A82-C383-4083-8A8E-289119004FB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428614$55B006C6-DC2D-4550-900B-7FFF0E231114","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b2e3723620b650f9476b1199b36f706e10e76a5","datavalue":{"value":"6028276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428614$87AD136B-97C7-44CD-8FE0-2715B1DA5678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c240b4dded7d4b97fbbf0018c9808f3830fca2d9","datavalue":{"value":"pre-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$B9D336BA-09FE-4673-A20C-95B99AC0B2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$CC1AAE6F-FC50-4929-96E4-EA9570964870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$6339D4FF-F107-447D-924D-D5616FB4CB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40740f8804a68aa991748abca6b42b84092bfc8d","datavalue":{"value":"pseudo-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$8A15B582-04F6-4F12-8D55-E92FC9BED628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58adc52c453abc57dffd096aea8acec24410f99c","datavalue":{"value":"pseudo-metric induced by pseudo-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428614$0C3EB5CE-A67C-42E2-9A29-93FCB199FE37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$3DA83E02-64DD-4A4A-B800-8852FA1EEE8F","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":"Q2428614$E8D3EC01-0645-4D2B-85BC-E0388B9D7712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d5a8b36272221ac3826fbd74f5fb752fd7b0a1","datavalue":{"value":"https://doi.org/10.1007/s10474-011-0178-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2428614$CEC51FE2-FBD7-4B2F-A6F5-1F275BB65468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"886d720030de7c33007a82a04fa4153e3d68e5c7","datavalue":{"value":"W2051640371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428614$6C3E44D4-715A-4937-861A-D18CB1761F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03bc2162c08c32ba0f7bc777fbb165591c3591bc","datavalue":{"value":{"entity-type":"item","numeric-id":4359070,"id":"Q4359070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$54620155-0D70-494B-B012-23CF5080062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ed9783735415e45b179637d246bc1c4fedd44e","datavalue":{"value":{"entity-type":"item","numeric-id":1869202,"id":"Q1869202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$FF9526E1-EDD7-44BB-BAC7-160359131F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872d0bd93c83772bfcc41fe9cd810b4183ada49d","datavalue":{"value":{"entity-type":"item","numeric-id":4792081,"id":"Q4792081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428614$ED54616F-2942-440C-B961-832A947E3518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb378f91cd4aac7b35a4fb0dc3e3296cda1b14cd","datavalue":{"value":"10.1007/S10474-011-0178-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428614$10524ED6-5CA3-49F3-BCBB-F00FC802C708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51b6c413d3b5dd75918f64beb891707a4561e19","datavalue":{"value":{"entity-type":"item","numeric-id":3130659,"id":"Q3130659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c2f31671e8a37d4b98f2ac2e637917989d4b22","datavalue":{"value":{"amount":"+0.8028841614723206","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":"Q2428614$0BB510FD-B3B9-415E-9860-98D51C2FC036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772270127a80e26eb3560bdf974ac82b1a749347","datavalue":{"value":{"entity-type":"item","numeric-id":2867601,"id":"Q2867601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517463c13fc4ef1ca8b5e7da2c2211370a143f78","datavalue":{"value":{"amount":"+0.7868021130561829","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":"Q2428614$F9460BBA-18F3-43B5-B57A-364FEF85E873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e46b568b1ec399fa0902fc5b741ea7673f6909","datavalue":{"value":{"entity-type":"item","numeric-id":4623832,"id":"Q4623832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ddb946d0ce3d754e375758c50a734ab2fda435","datavalue":{"value":{"amount":"+0.7643208503723145","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":"Q2428614$4FAED4E5-5EF5-44BF-8E5B-142B1A5505E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb8f38b82afb69f0f2577586e755f79134664d6","datavalue":{"value":{"entity-type":"item","numeric-id":4892985,"id":"Q4892985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b4c9ef8aaf42a66cc36930ab31e545f9d26359","datavalue":{"value":{"amount":"+0.7626803517341614","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":"Q2428614$A3C526B3-6DE8-43A2-B315-9F267FBC1EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d403ee84510723c42c2cf1fcffe0b39cbf4150a8","datavalue":{"value":{"entity-type":"item","numeric-id":1820766,"id":"Q1820766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b4c9ef8aaf42a66cc36930ab31e545f9d26359","datavalue":{"value":{"amount":"+0.7626803517341614","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":"Q2428614$587014FD-2061-4BDD-A2CB-3D3287E44A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-valuations on pre-logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo-valuations_on_pre-logics"}}}}}