{"entities":{"Q5258962":{"pageid":7288530,"ns":120,"title":"Item:Q5258962","lastrevid":52288925,"modified":"2026-01-21T08:59:16Z","type":"item","id":"Q5258962","labels":{"en":{"language":"en","value":"Semi-implication: a chapter in universal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449624"}},"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":"Q5258962$AE4CE799-9172-4AEB-9FD5-A8E32802B4AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1fb88060df195b7c70398c89b06a7c5cde9680b","datavalue":{"value":{"text":"Semi-implication: A Chapter in Universal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5258962$F374B8BD-3F43-4AF1-ACC1-E4BF407E0CA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f5297df3643c1e0544a2dd003f9e239b1b45306","datavalue":{"value":"1372.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$D3A46DEC-461D-485F-A95C-AF6CA82311D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06c7826b2d9bc3004308d1797e1e294dd2cbdff9","datavalue":{"value":"10.1007/978-3-319-10193-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$31F8B333-A8A3-4908-B8A9-D26E036065EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$9E53E584-2905-4A47-BA92-87D079EA5164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$67D4C538-1C89-46F5-8B9B-6AC0150A51CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354c0581a3debbff4659a60277ac3936b006a9c4","datavalue":{"value":{"time":"+2015-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5258962$969B40AC-08B4-4ED6-A2AE-5AC702AC92D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$86D198DC-5D42-41F8-BB23-C1B33DD9F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$ACD70CEE-5452-4CAD-9CD0-C0EDE9F44D37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcd26f03576251fb37cbc5800f4a8172604c676f","datavalue":{"value":"6449624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$E36FBB51-CC6C-4E32-9F4B-2A979BC69E31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$859DD1E4-CE6B-4606-A6CD-CA609990A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c16965c148e0810eb7dfdc1d3f4349d5530e2447","datavalue":{"value":"semi-implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$36A672B1-057E-457B-8EEC-C734D8742C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae845f16646c42fe62338365297ad39bf85eef0","datavalue":{"value":"biconditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$14B3089A-5CB7-484A-9156-348F9F25761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$46DE029F-CA59-40DD-AAAD-4676B84B01E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$D0F49470-779A-43D1-8ED3-57DD79EF3B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75e750785800d16c976e51c3338cf237cbb82b5","datavalue":{"value":"deduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258962$B535E4FA-3E32-47B8-9470-F655D23A0548","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":"Q5258962$62931F65-78D5-437C-A8BB-30217A650940","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a80bf8d0a95443773034e584f42d78e491df8cb4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10193-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5258962$BD5B0076-B948-4216-9F01-BD4F29EB0A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a82bae2d8d5400f8471bcbd0f5b4a08cc718058","datavalue":{"value":"W93830430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258962$D4C7A9BA-3AA8-4499-9E22-AEEFBB9BC3C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$D52EB3C9-9A2B-43BE-9446-0E2B8B11D82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$70619A9F-E264-4EC2-BF25-9E9ECC605B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$3F9E3471-3D7E-4A1A-89A0-9EDF92FD3E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b69122c3895ce66ec6e41f967eb2566371a0163","datavalue":{"value":{"entity-type":"item","numeric-id":4227869,"id":"Q4227869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$23B6B8FD-CA02-4794-81B7-08C919798448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1111a24a3327d5f093fe51098ffc5ec9029ad99","datavalue":{"value":{"entity-type":"item","numeric-id":4508262,"id":"Q4508262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$61DB8269-57E8-4A6E-AE12-00E9A5DA73EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263a0ce6bbfda4050e3f0199cb36e2f50a05bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":2254555,"id":"Q2254555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$F03BFF93-3739-4E08-BB5B-E7DFA08EA2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786a6706d1a4aa1960218a83548e9869c3be6e26","datavalue":{"value":{"entity-type":"item","numeric-id":392272,"id":"Q392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$EBAF36CC-E12B-4C9B-B578-A164FB5F7452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$A9A8F3E8-C697-47C2-856D-0706A9B3242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f931fcc2f67a5e217cecfd4eacebde0ca9e7951","datavalue":{"value":{"entity-type":"item","numeric-id":1777641,"id":"Q1777641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$6F46587E-0BA8-4711-966F-D80E33C68E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$A30B619F-C72C-46A7-BD8C-BE3F531162BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$6F5D0EF4-F38A-47CD-9948-A9149D2C7324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef0a2e14351ba118b64b7f7bc939f6b52e0b62e","datavalue":{"value":{"entity-type":"item","numeric-id":2545151,"id":"Q2545151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$0760C3E8-EC26-439D-8AD5-543CD6BEB4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$113CCCFE-99F4-4EAE-B080-4F9EA1E6CB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bc69193a585ef90971b9d33f819f68144501c1","datavalue":{"value":{"entity-type":"item","numeric-id":5666518,"id":"Q5666518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$6BB736B3-23C2-4A78-895F-60420784FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$FCC15579-A4D5-4BF9-B19B-DA666F3F2F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb00a863c44730b9ebf150a6747d81ad91a6aa39","datavalue":{"value":{"entity-type":"item","numeric-id":5816696,"id":"Q5816696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258962$8B73559E-BC31-4BD4-8806-2BD1948BF5F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dea28c40ff54c09c69d8c230884513fa532bca","datavalue":{"value":{"entity-type":"item","numeric-id":5855500,"id":"Q5855500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d051b0bc451b28398bb254842553558e6836f92","datavalue":{"value":{"amount":"+0.8828360438346863","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":"Q5258962$BDBAC540-179E-482B-B2C4-55978503AD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd3acc7315e404cf3a35d9dfbe5cbe1228400f3","datavalue":{"value":{"amount":"+0.763940155506134","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":"Q5258962$C584FFA8-6BF9-4D1F-A6FA-AC03483E77D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22a67a7a7bd825654d9a2c2edebf802d959b462","datavalue":{"value":{"entity-type":"item","numeric-id":392272,"id":"Q392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e6a2ab3cc9600307956ec9dce78374de4486d6","datavalue":{"value":{"amount":"+0.7564287781715393","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":"Q5258962$F920B11F-98D5-432D-8128-92C9E07F6F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0a141dedfddc56b734f3996f4aacfbab631f9","datavalue":{"value":{"entity-type":"item","numeric-id":4419270,"id":"Q4419270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a300e9a0b4c48aa828c07f5fe2c3d9c0dded21c","datavalue":{"value":{"amount":"+0.7352524995803833","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":"Q5258962$4C3D175E-752B-41B4-8CE2-1BFBA60A1E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0de55988eb79a391012e29bf2807205933a12d","datavalue":{"value":{"entity-type":"item","numeric-id":4508262,"id":"Q4508262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5019cf7ed48eed9a3055b67cad988c1f59b215","datavalue":{"value":{"amount":"+0.7343772053718567","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":"Q5258962$C4C25230-FE33-4C73-81DD-6BBC14C39E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5258962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5258962"}}}}}