{"entities":{"Q6148475":{"pageid":13282782,"ns":120,"title":"Item:Q6148475","lastrevid":57370893,"modified":"2026-03-30T17:13:04Z","type":"item","id":"Q6148475","labels":{"en":{"language":"en","value":"PROOF SYSTEMS FOR EXACT ENTAILMENT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786935"}},"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":"Q6148475$2549BE69-6FC4-47FA-A02C-4DA91EFA1A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15f1f8f8339e8e75b03b57db1fef096666d1cfa","datavalue":{"value":{"text":"PROOF SYSTEMS FOR EXACT ENTAILMENT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6148475$508266C4-CB4E-4655-86DB-A43463290356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5b6aace77d72465b39834293749fbd036cb4a10","datavalue":{"value":{"entity-type":"item","numeric-id":1749801,"id":"Q1749801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$172B258A-4C21-4A30-B68D-6C6BBE6B8592","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$100F68CB-DA3E-41D7-9951-6A1D031D42A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6148475$2CC16C24-BA53-4652-8DAD-735C2BF5AF10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$2B93F879-0CF3-4EB6-ADAC-83416F6A4169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$B4069D9A-AE54-4677-9D88-C65F8A3E6BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$9823F486-5180-4F37-A93B-ED757D304983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb762f86796f0ab743e5870089dee0c7561ad561","datavalue":{"value":"7786935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$FBED3ABB-E76F-4AEF-8160-DF1D2192B6E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caca330b5cc6cae1fbbba5b526c01f6967ca584e","datavalue":{"value":"truthmakers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148475$928E15EC-6EDD-4B71-958B-0E0642109156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ec887229e288e8f58643cffdc04bb72ca230e1","datavalue":{"value":"exact entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148475$97542461-B062-47DD-AB5B-FFE861470290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148475$FD47AD3C-84CC-469B-BF72-36B36AA28CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e07a104da20604451d24df24e5a2bb619f84a9","datavalue":{"value":"Hilbert calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148475$005647F8-7B71-4440-9BEE-4FDEB97522B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148475$E03E0F5B-03C2-4887-96DE-5E799A84E48E","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":"Q6148475$CB790C83-B41D-4C6F-B687-102096B2BBEE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c036e7904dab8fddecad55332916894d10b950e5","datavalue":{"value":"Q113857263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$4982958D-C186-45A5-82AC-27A77DE07240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cadabd38cb419d33a18933a5e3a9b90191af00a4","datavalue":{"value":"https://doi.org/10.1017/s175502032200020x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6148475$9630FA2A-7F89-441C-AB34-9543E18E0421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff951fe38a26b23a824dedf94fe85a73ef0f4029","datavalue":{"value":"W4280534101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$5C0F2157-875D-4FFD-AF1C-BFBB95E23BFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de99eb60c424a3446ab9e9b0ade462869160bee6","datavalue":{"value":{"entity-type":"item","numeric-id":2304624,"id":"Q2304624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$A149451C-7B3F-40A7-84C8-197FB2BDCC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393f66f25b92acf35719a2f3d702e48a2807b771","datavalue":{"value":{"entity-type":"item","numeric-id":5224795,"id":"Q5224795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$B1EAFFD1-E85B-42CB-9C95-923DED666024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781aa5ae19cb768fb8a597e9128d325181357fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2804475,"id":"Q2804475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$8106DA46-EF2B-47AB-862B-B5ADF78F7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b21225b3c93355a1edbef9af76d5006098edd92","datavalue":{"value":{"entity-type":"item","numeric-id":1217694,"id":"Q1217694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$6BD4F976-6F6B-4BAC-B1AC-350BD36B3BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0853c8daf9453c95c99a5ec63276129d945bef","datavalue":{"value":{"entity-type":"item","numeric-id":2441794,"id":"Q2441794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$A40CAEEC-DAA0-4E55-A294-BC7C200FB7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5ff44a5a5cdcfd500d97fc0a2ff9b9355c5bd0","datavalue":{"value":{"entity-type":"item","numeric-id":288248,"id":"Q288248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$6876C494-CF89-4F38-9D97-EA3CEF9BCE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40829da126d043a084ad2b1ba3d48bf20a1d55b2","datavalue":{"value":{"entity-type":"item","numeric-id":1696468,"id":"Q1696468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$F4E821DA-7429-4BD3-9685-4DC11D646E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d08153e07b5b88ca1f108a92dcb89a829bbe3c","datavalue":{"value":{"entity-type":"item","numeric-id":1696469,"id":"Q1696469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$F242D00B-B532-4F36-A1E6-6773F191F6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20239994094b08376539fbf5d2e37b9bc3b47e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4557163,"id":"Q4557163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$3C85C636-EE56-4E8D-9D53-37651CDEE250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b93f54d816a3ee694aeb93cd89faa8495f9eac","datavalue":{"value":{"entity-type":"item","numeric-id":4557164,"id":"Q4557164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$D0B6FAB9-0651-4C77-ACA3-ED0395192C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4167ded3b6fba20d9599745b52b094fb66f56712","datavalue":{"value":{"entity-type":"item","numeric-id":5241232,"id":"Q5241232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$061A1935-6511-4D83-A0AC-76962C3ABE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$4392756B-5D62-4067-9FCF-ECF9063073EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec4fb6a27cb07162733b19875658fa82eb97b11","datavalue":{"value":{"entity-type":"item","numeric-id":2194111,"id":"Q2194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$0CD79DE5-FFFF-4D8A-AE4C-83D32849B6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c17447159879d0f5e4ca60551e5103765de39b","datavalue":{"value":{"entity-type":"item","numeric-id":2421517,"id":"Q2421517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$B46EF564-779F-4041-9219-67B2048DC8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c316b3b619dcb77cd5d4693a3ca074a0770e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2086533,"id":"Q2086533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$5E1A8DFF-ADD0-4962-A26B-8B2D659BA93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6c45d93891979d18bd0d9619ed574bf01ed1e4","datavalue":{"value":{"entity-type":"item","numeric-id":830371,"id":"Q830371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$8249A018-9BBA-41CC-92BA-F151CF2982D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9cdd08db00e160d52d76764812828f6a08d4bf","datavalue":{"value":{"entity-type":"item","numeric-id":4304150,"id":"Q4304150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$EEB97A85-DD49-4FCE-BCC7-0B9859C6C1CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"365fa1058d4a7386e8b0c78e8454e64b70697b45","datavalue":{"value":"10.1017/S175502032200020X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148475$4A2E0036-0337-4B82-BEE6-5E24C2F6035A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148475$2615AB6E-0AB2-4B01-B9E6-B74D7D4E6AD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6148475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6148475"}}}}}