{"entities":{"Q4660202":{"pageid":6689783,"ns":120,"title":"Item:Q4660202","lastrevid":48443581,"modified":"2026-01-04T20:09:14Z","type":"item","id":"Q4660202","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2148623"}},"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":"Q4660202$F26384D2-E5CE-4CFB-B9CD-90E7B5437499","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5455580f5117bfc0796d826048304d6fe62223","datavalue":{"value":"1059.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$8F76AC56-3104-4C58-A161-FA36FFD61DC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4660202$6D689554-2111-4828-A6C8-BDE32AAA94B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4660202$8686EC43-F172-474E-9791-AE2AC502FC4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$7EE55583-815A-4834-843B-2B97C46AB273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$65E578D6-356F-47AD-8486-1775623859B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$00ED8D1E-496C-400B-96FB-7C822782F9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$2F4ABF0E-4762-44FE-9618-979A0C9803CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$55120205-6462-4F9E-9BB4-BE26F8D435DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$A3F1FA61-5AA0-441B-B2B9-6A063433E37F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"121f887ab8add1c8f0b6bcd20fdf114a725b407c","datavalue":{"value":"2148623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4660202$78416A56-C9FF-45EB-A471-BB7B78271DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ecd423412afc81faaf11453e3b7dd3ac20cd219","datavalue":{"value":"signed sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$CEBC698E-4F1F-408B-A94A-7FDEB330056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f16a3b59de3a903fa7124333da485e11cec18ea","datavalue":{"value":"structural rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$65042BFB-F0BA-4B99-9639-4A1A16559BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e5e42402417cdf23ca266d820b7e771454a15b","datavalue":{"value":"derivable rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$9EC7698C-4078-4EB8-B9A4-8C3B4C703207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$BCC2F095-1C77-4952-ADE3-759A3AAFC788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cff5f01fc9ed59b28af879c68661d598f9a7aa0","datavalue":{"value":"sharing axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$A9F45327-F2F4-4D79-B5A8-9EAF27B94007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$26A17A05-44E3-4A74-AD9F-E0EE151B7C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40434863b8ff699736451930e204b6298509f2a6","datavalue":{"value":"signed matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q4660202$CBC985FA-22FA-4F12-8BA8-88BD098721F3","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":"Q4660202$26CA8C33-7D8C-4E7E-8D16-5FF40102CD47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a8947d7fde4a07abf53a3757bbdfb4c30c9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1931305,"id":"Q1931305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005e4cf863f733be89fd224547a0130adc64a48a","datavalue":{"value":{"amount":"+0.8018421530723572","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":"Q4660202$CE51EE2D-57A0-4A32-BC82-4199CB299992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff4104fa0d0150e1ad5dab26a5a571c447cea0d","datavalue":{"value":{"entity-type":"item","numeric-id":3605518,"id":"Q3605518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b113875ede66f33f0356c7d2d4503f1f50863730","datavalue":{"value":{"amount":"+0.7921804785728455","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":"Q4660202$75C1E0D8-9E85-41B9-BEB0-231AF8DE7553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b609b8df5be996b155b2abbaed77cdb881600be8","datavalue":{"value":{"entity-type":"item","numeric-id":408550,"id":"Q408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3576eff18183a734324fa9d99dfa0c48283d846a","datavalue":{"value":{"amount":"+0.7682481408119202","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":"Q4660202$17ABD5D2-AD32-457E-9312-33B4D92CCA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f71fde8d84caf637ef282e113d2e5806dddb02","datavalue":{"value":{"entity-type":"item","numeric-id":5947553,"id":"Q5947553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a52c835dff1c57ce7d6332997cb2919072f2d6","datavalue":{"value":{"amount":"+0.7605777382850647","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":"Q4660202$86378429-63EC-41FA-80C8-D2AA28D4886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea01a5a34aadc1d70b6b9643d312f2e0d73ce3e","datavalue":{"value":{"entity-type":"item","numeric-id":698829,"id":"Q698829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e11ba2b5d272c20a2228e33023cb94a6a12fca","datavalue":{"value":{"amount":"+0.7594243288040161","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":"Q4660202$5412F8B0-EA7E-4404-A411-A81F2D0CCAF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4660202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4660202"}}}}}