{"entities":{"Q4860661":{"pageid":6890241,"ns":120,"title":"Item:Q4860661","lastrevid":47384218,"modified":"2026-01-01T14:18:42Z","type":"item","id":"Q4860661","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 834573"}},"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":"Q4860661$72C5CD9D-DBA0-4EEC-889B-92DB8A04DDAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4666442d8dfd56794a1e5c9bac1831fae35db5c6","datavalue":{"value":"0838.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$67058971-BBC0-4759-9C37-60D81F7B44A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2071d0aa0ac04e02de1d546f7dea14f49f35804","datavalue":{"value":{"entity-type":"item","numeric-id":4185626,"id":"Q4185626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860661$FABBF606-72BB-4551-B7EE-169979D25689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91efdfafa4578a4a9a166c1ae77749c843bb8743","datavalue":{"value":{"time":"+1996-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860661$E778ECDD-0D8C-4415-8187-CF8370F91871","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$289B384C-188B-462D-BF27-427B9C1FF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$6FFB69CE-C73A-4E28-A9EF-73DB50044345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$59F266B3-EC5F-4836-A7FE-4CEBD4DD9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$D3D720B2-0548-49E6-ADC4-EA50DD8EACC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f0e4c1d17afe76bf3e3aa48fe1e819f9f30ec06","datavalue":{"value":"834573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860661$652A18D4-5D91-4F2E-9B3B-40746643429F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b9a772cf9f81709a7acb99ba8dd1d0592aa80c4","datavalue":{"value":"tableaux-like first-order classical deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860661$76B7905C-A534-45D6-90E2-AB44561BF964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c76cddaf187fd46604479dc19db3f457b5279d","datavalue":{"value":"bottom-up inferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860661$542EA607-2BDE-47B6-A378-F7660A630102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860661$15415A7D-B192-4637-8F07-1A3B155B9B71","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":"Q4860661$CB2F00BD-B703-4933-9A41-F3D2D234CB73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67cf830e08fb9dd462bb8a64126e0aefb31f39b","datavalue":{"value":{"entity-type":"item","numeric-id":5434490,"id":"Q5434490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4130a06db5524bbbde0253bedbe374b7b8ba7b3d","datavalue":{"value":{"amount":"+0.7910041213035583","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":"Q4860661$714D6266-D46F-4B65-BAEE-368CAA9460AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef20d85e8127177cebac82e50cc467b008503e5a","datavalue":{"value":{"amount":"+0.7833673357963562","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":"Q4860661$33C45D78-56C9-48D1-81D4-E514681C4DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de570a5490a8639f0b098ace4a75bf266d211ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3406692,"id":"Q3406692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef20d85e8127177cebac82e50cc467b008503e5a","datavalue":{"value":{"amount":"+0.7833673357963562","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":"Q4860661$D2EB8B7A-D48D-4690-95D5-71953E978AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfff23f61ccb208a57cca5fa4305dc288f67e89e","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47415ad82683366eb9daf630947acdd1e6bf912","datavalue":{"value":{"amount":"+0.7778926491737366","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":"Q4860661$755421AF-D949-45CE-9AE0-AE74CE231886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abf5bea183867ea936d48fc2ede8f2c50a4d41b","datavalue":{"value":{"entity-type":"item","numeric-id":4281690,"id":"Q4281690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff7531a72f6d72e43daa43024763e4860df076b","datavalue":{"value":{"amount":"+0.7731981873512268","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":"Q4860661$0286FB51-7D0F-4698-8A4B-0266645A9183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860661","badges":[]}}}}}