{"entities":{"Q2500815":{"pageid":2511558,"ns":120,"title":"Item:Q2500815","lastrevid":49898425,"modified":"2026-01-11T20:06:10Z","type":"item","id":"Q2500815","labels":{"en":{"language":"en","value":"Models of deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047764"}},"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":"Q2500815$7E8E9FDE-D351-4E1A-94B1-924BCBC268C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6b51416c039ebced98d3ea9ca21887f2d78849","datavalue":{"value":{"text":"Models of deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500815$573130CB-B262-421D-9143-336F2DD78737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2717744d0b9f542bb548e41af02ac0960d6a8a04","datavalue":{"value":"1103.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$1587C6AE-FBF7-4974-9477-F6E1DB924524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$95D9100A-511F-4D34-AE41-1A4C5A33258B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$A6F6DE68-C504-4472-AE81-6433EB077207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500815$31463961-47D6-4FFB-9912-A54C86A4D47C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$C6DF0352-4F7C-4EE4-B878-8B9BA3004FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$8189BC2B-26AD-485A-A397-9A21ADB8E490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86a35354f7dcff393fa23ddbe42b5a28730986dd","datavalue":{"value":"5047764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$0D0EDCC6-9B2F-4F2F-8B81-C23E04DC8B2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c34382cf03df3dcc2bec21646c54ec1479ba0","datavalue":{"value":"categorial proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500815$614EACDF-8D40-4189-B4BF-FBA2A87A4C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11117e3f73a7c17cb98773c79805d40a456f2b80","datavalue":{"value":"adjoint situation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500815$B2E0A0C5-799B-4CF9-A2F2-7513431D938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff04c7d6d5d15c4422d20de7a09bb280bc1ff9f7","datavalue":{"value":"propositional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500815$CC7B7ED5-2289-40D7-B023-716CD6CDB6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1cf83815d693770d5f9da5f72e4c0b8d73dc18","datavalue":{"value":"geometrical model of adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500815$A434C54C-2FB9-458A-93B0-11770F8F6DED","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":"Q2500815$399DEFD1-7CEA-4E57-A27E-D70DA36596A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327c2056d4f8d57eb4547027f38a45d7b72a3bd2","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6290-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500815$B3D75629-A3D3-4F16-B726-77D6A6FC2C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7686bee94599cc70f9d9f4ebab343720012da3f3","datavalue":{"value":"W2000838844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$978A9FFB-75B5-446E-A4BC-5322A6C84682","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$26AD1A56-C382-471D-8A87-10AED59F9230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a064c24e33fdb6013bc5a8a7ffdbe6ad695be319","datavalue":{"value":{"entity-type":"item","numeric-id":674415,"id":"Q674415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$8CF6BC51-BDBA-49BB-856D-48231ED8C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba37178f4849a6f9f33cd6f635de99808396dd40","datavalue":{"value":{"entity-type":"item","numeric-id":583184,"id":"Q583184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$4FCCC907-7111-44BC-9742-527405229812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6d2064bc4c7bce9673585d41e7e60dce4d06f8","datavalue":{"value":{"entity-type":"item","numeric-id":5689262,"id":"Q5689262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$3789FC14-13FC-4823-9461-86715C26BA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff898ee3cc71ef89631e6f65b0badb2bf5efdad","datavalue":{"value":{"entity-type":"item","numeric-id":3153199,"id":"Q3153199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$54B72638-573F-4F84-A241-BC1FD0880296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b983090a7e7931ca4c3b1f285f76249983ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2524062,"id":"Q2524062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$3884D20C-A891-4DEA-943F-448DCC3B8F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$8F179858-4911-42CD-803E-D4736C54515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$86242E2F-2FF2-4625-A203-1B2A9308C72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500815$BDAA897A-5FE0-434A-B1DA-A6FC62F704B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5df99cc53a34ea0f11f771b7f4577c365f094ab","datavalue":{"value":"10.1007/S11229-004-6290-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500815$D020E2CF-3A15-4FF3-9D9A-D2A59EABFFCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5601c9061a2615e6f96f5de2d390acd9bec9c6ec","datavalue":{"value":{"entity-type":"item","numeric-id":4918290,"id":"Q4918290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf48eb65a2f391e8c42f7af31f5d6e7309bfec0e","datavalue":{"value":{"amount":"+0.770141065120697","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":"Q2500815$A52BF764-0B3F-455C-BF5C-362513C10BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7fe45f7af617800d76401d9a73ca39516121e0e","datavalue":{"value":{"entity-type":"item","numeric-id":919088,"id":"Q919088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2922ae6adc453aed3396b7abd44d6758d476ae7","datavalue":{"value":{"amount":"+0.7135766744613647","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":"Q2500815$728A0FA3-A72C-4B19-95EF-5F91847C42B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277739ebe82fe1199bb0d8d467361d5a409cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4698605,"id":"Q4698605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60459722576b0931a50c10d7c03db69224159fe8","datavalue":{"value":{"amount":"+0.7127681970596313","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":"Q2500815$72DB2178-8122-407D-AC3C-77BA0DDC0798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ca89717656b385da9af6915c67e4e7d89caa07","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b565dbed2cc179569c0f3e4499180990a0b14ed","datavalue":{"value":{"amount":"+0.7108367085456848","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":"Q2500815$B9C826CF-69B8-4864-94BD-8BA947F4592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2da0ccbe0c1911e9a91fe6a7ddc27517f8a5ef","datavalue":{"value":{"entity-type":"item","numeric-id":5221850,"id":"Q5221850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0c08b8f2ad8a404171f15c7dc3ae711454916e","datavalue":{"value":{"amount":"+0.7024867534637451","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":"Q2500815$0592BC38-B2EE-42BB-A339-1C72E59DFD61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500815"}}}}}