{"entities":{"Q5000135":{"pageid":7029712,"ns":120,"title":"Item:Q5000135","lastrevid":54038780,"modified":"2026-01-26T03:40:55Z","type":"item","id":"Q5000135","labels":{"en":{"language":"en","value":"Grounding rules for (relevant) implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368165"}},"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":"Q5000135$46ACA6CC-1387-4BCE-AB11-2A577A4AE2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50b11df1a4012b600d3d56a8383493c58abfa92d","datavalue":{"value":{"text":"Grounding rules for (relevant) implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5000135$A17DCCE7-7668-4939-BF01-8A9375885AE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4da7c9177c9a2387c91bf4a720a1338689dad721","datavalue":{"value":"1491.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000135$75E7B714-E8CA-44CE-96EB-EB542A3FFA17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2b7f711906c70b9ce70b6bcee69c5f380eaeea","datavalue":{"value":"10.1080/11663081.2020.1850048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000135$B0610EF1-9562-4C15-9F2E-A999FE2C9A84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$D3822259-23B0-4553-B96C-7579A57219F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$9EDB0DEC-65D9-48C3-9F4F-8AB758D841FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5000135$968397DB-9E10-4EB0-BD4E-1EAF82DD7023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000135$B2800964-F7F7-4CAE-AAF8-0DFBB27FCADF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f36fab0bc9e2e1ca1de35a7d6079d8a0ce3b1d7b","datavalue":{"value":"7368165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000135$BD8ED671-C2E5-4755-AC5B-AED70DDC521A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b9a58dab445e0fa7d466f628a1781a92cdcbbd","datavalue":{"value":"grounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5000135$C274ECC1-E3EF-40A9-856D-FA78427AEA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5000135$49E91C1A-6357-44E2-AE3A-5E82A894B816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5000135$E8C9F355-3EC1-4A45-A63A-9EC5F81CF3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7047974fa86be02901a3fe85241d3257b6164c17","datavalue":{"value":"natural deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5000135$0E6A37B7-E6B2-49CE-8855-9A4216707C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5000135$AE25D12A-6993-4F9B-8E4F-5D33073B073E","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":"Q5000135$794F1163-5D3E-4681-800F-AB41597D1C4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01c9f6c807c550e2b6242c852382efee22fdeeab","datavalue":{"value":"https://doi.org/10.1080/11663081.2020.1850048","type":"string"},"datatype":"url"},"type":"statement","id":"Q5000135$766C873C-F1F8-4A0E-B06D-4CF6D720F413","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf0cf5beac7fb870a9ef9904550f88d3c657338","datavalue":{"value":"W3090509960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5000135$C48853FB-0F2B-4E64-A56B-0C4541098D70","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":"Q5000135$6772CF5D-9C08-462D-B280-D92FADBE9315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d203bb9194bb975b021f6bfe42182bfd80bf4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3099308,"id":"Q3099308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$D44226BA-A885-4020-8239-1105149C13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7163d8de1692df4de55e5b43a5f6074ea75b371c","datavalue":{"value":{"entity-type":"item","numeric-id":2940865,"id":"Q2940865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$09F350D3-548C-47D8-9C3B-08A7DF8284F7","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":"Q5000135$E3EA202D-0460-40CF-B729-5549E88DF007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$EDD09A5D-CF16-45EE-9D8F-B9A320E46114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ce67bfc2e40b49936972a9da450bd99e52d452","datavalue":{"value":{"entity-type":"item","numeric-id":5389587,"id":"Q5389587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$828D38C2-E1A5-4D87-946B-A38FBD848BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed44f6a8d996202b34575dc36755ca428145487","datavalue":{"value":{"entity-type":"item","numeric-id":1749802,"id":"Q1749802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$DC3F9E0A-BFC4-4916-9934-8BA1C464A528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398a8b07d5cef02cfb3db20592e9823da2464b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3295827,"id":"Q3295827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$7D9FD7BA-86CF-4B3D-A345-B21E8962AC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a508b01325e596d10cc3cd09f6010534877e9b","datavalue":{"value":{"entity-type":"item","numeric-id":513936,"id":"Q513936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$438325CF-CBF8-4F2B-9F9A-C6C78330B679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1a353a3e1161c1db6ff079c107e61ea6b8b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":1709100,"id":"Q1709100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$EDE01F8D-EFF9-4744-9EAF-D16682EA47C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2352a556e549cf5345fdc1a79dc86383f2360e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2695404,"id":"Q2695404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$531D55C4-737A-41A5-B636-96F84AE32328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$183CFDC3-C502-4B09-AC17-90D9B61E206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a524a694695dbafb6c3f13fbfee4aefde0ccec","datavalue":{"value":{"entity-type":"item","numeric-id":3096822,"id":"Q3096822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$77F58909-117F-42D1-869D-1FCE9A552D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5000135$965028C5-A8F8-4907-AD2B-15BE7FF19401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c541347627a623a26ada80517543f8d5f5a873c3","datavalue":{"value":{"entity-type":"item","numeric-id":2695404,"id":"Q2695404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25f473e35a7c1424219773dda95d838df035f61","datavalue":{"value":{"amount":"+0.8153282999992371","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":"Q5000135$2D8B7CBA-1BC4-4527-965C-218E96E365BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9d5bf0c5f6eac4bec5ff7d872a0f41c333bace","datavalue":{"value":{"entity-type":"item","numeric-id":1709100,"id":"Q1709100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e929acb2e8a77e47e91e4ac20e58bfeeb6804c","datavalue":{"value":{"amount":"+0.7777233123779297","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":"Q5000135$A3667F54-493D-4648-B707-A621A1A95967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dffcdf22c69dfa9b0b2a8a23d80c81d0aefe861","datavalue":{"value":{"entity-type":"item","numeric-id":5389587,"id":"Q5389587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67fbd6b7fb37a99be26137d20387837e57bb62c","datavalue":{"value":{"amount":"+0.7395998239517212","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":"Q5000135$B0DB2A7B-4C0C-409E-AA08-D143FBC57F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfea18e56c9026db233c6e65d012fbc660acce7","datavalue":{"value":{"entity-type":"item","numeric-id":4817204,"id":"Q4817204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb3a4dd815c6bde32099d2e3e12485f41c37c3f","datavalue":{"value":{"amount":"+0.7337868809700012","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":"Q5000135$8794961B-AF00-47C1-A98E-EBDAB74D4768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d13b03d30e2252dbac23368850ae5e4e05bf66","datavalue":{"value":{"entity-type":"item","numeric-id":3099308,"id":"Q3099308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd5c238f4d8181636510badd1a1263086734ac0","datavalue":{"value":{"amount":"+0.7337210774421692","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":"Q5000135$AF182212-BE54-4FE0-8E1D-7BDC48863088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5000135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5000135"}}}}}