{"entities":{"Q3564631":{"pageid":5594535,"ns":120,"title":"Item:Q3564631","lastrevid":50992643,"modified":"2026-01-16T03:03:38Z","type":"item","id":"Q3564631","labels":{"en":{"language":"en","value":"A simple algorithm for deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712161"}},"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":"Q3564631$F613F1C8-0620-4DA4-9479-FA639D5DEF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e9f9296f2b7faa12bdb0b46fe44468bc0dff623","datavalue":{"value":{"text":"A SIMPLE ALGORITHM FOR DEDUCTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564631$19216873-2E58-412A-88E6-3FB8FCD45587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"771b6df82ca45f97cbee01cb8c82be34699c3fe9","datavalue":{"value":"1197.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$38D6E685-BE36-4301-A7E9-EB46322347E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5c72faeac25f34868aa0b7ee9f086eabdaa889d","datavalue":{"value":"10.1017/S1446181109000352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$5D22F7C1-44E8-4F0E-BB6C-C7328400DD3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6bcec92f90a64fd8a14f1d240952ee1cf9635db","datavalue":{"value":{"entity-type":"item","numeric-id":3007087,"id":"Q3007087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564631$36A82E1D-03E3-4AD0-BD19-BA8C6F487BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"268a44bd8a086a12e18dd8f50b027265b4d2caab","datavalue":{"value":{"entity-type":"item","numeric-id":2702922,"id":"Q2702922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564631$5B7A0F11-A543-4D6B-9FD1-58B212B1CFED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-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":"Q3564631$E85731A8-2105-48FC-A680-F0C422C2B810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$99B88ADF-A9DC-4C60-A264-DBD0180D0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$DEFF3B49-0FBF-4C24-92B0-8FD2394AC56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$00715CD4-E81B-409B-8E94-ABCA2D041461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$ACBB6795-0C57-4004-A9FA-05B9C36295CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$42BB5577-4040-4776-A674-FB83B08749CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6679015a8014e48bb9ec6c241ed3dde343fc26d5","datavalue":{"value":"5712161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$10E34807-8F7A-42A3-A8C3-42EA5AFEE69B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564631$AF61C4B0-A32D-46B1-A4AF-74FC99FD2B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564631$276CABE8-BD0F-4B9B-9A83-A7ACF9C9DDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564631$A70F4EEA-519A-4C0D-B890-E49009E2C21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7348c66d71ce3f5ed8b3f8fa13ae6a574a204b42","datavalue":{"value":"deduction engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564631$3BBD73DD-3B33-4B4B-B318-5D9112F48F20","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":"Q3564631$17953607-5625-4B47-8FB6-13D5D3018886","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564631$7EEFC774-CC28-4B03-B637-825A789B1FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95f5e5a42b14858827b86e355a072cbbd1bdb099","datavalue":{"value":{"entity-type":"item","numeric-id":2894076,"id":"Q2894076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564631$7A222E2D-7504-4848-9607-A107C3A79B5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cae63ea325a852ef384f9be1acd3b3c6d63ef8a0","datavalue":{"value":"https://doi.org/10.1017/s1446181109000352","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564631$C9E0F5FE-0607-4A13-B788-CD01F22DB0E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f9953753ee7763bfae2d59f033b45c628eabec2","datavalue":{"value":"W2124208020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564631$8B7CCD33-500A-445B-B939-933942559126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d9767dac5ec0f003ef625383627713210f9da8","datavalue":{"value":{"entity-type":"item","numeric-id":3123888,"id":"Q3123888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d017739ede507a2902a05dc261a03d8fba98f96","datavalue":{"value":{"amount":"+0.7307422757148743","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":"Q3564631$9394E4EF-17A1-4716-BF81-F6ACFB86FA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14d713b5916ad46eaa462fffa55722167e3ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":4236072,"id":"Q4236072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c46b62753f968bf098500e766d93502db09c0c","datavalue":{"value":{"amount":"+0.7255754470825195","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":"Q3564631$FB48508E-36E8-4DD5-9B22-27E4C00B9541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d3c8b335d5449afbc6f7720a75a74935f51300","datavalue":{"value":{"entity-type":"item","numeric-id":4934810,"id":"Q4934810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb72baad4e6968b1cd32447f36528f218ec52576","datavalue":{"value":{"amount":"+0.7247481942176819","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":"Q3564631$5742D29D-4B4B-4CDE-9BA7-B967E90BFD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cbddd96c541861adaf78fb8ba4d7d18f50ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3481674,"id":"Q3481674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a61b535d3a5a7e5e61ec936a0cf3f56f856cd1","datavalue":{"value":{"amount":"+0.7193899750709534","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":"Q3564631$8F95E81D-AF98-439B-A089-B465F9FC1EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d8236d5f4ab9ad17bf71475078210550cfbb0","datavalue":{"value":{"entity-type":"item","numeric-id":3200587,"id":"Q3200587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad68119e7f1739ac267cc046df36c0b692bd5a1e","datavalue":{"value":{"amount":"+0.7149242162704468","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":"Q3564631$C0771494-79AA-43CE-BB7F-405744929909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564631","badges":[]}}}}}