{"entities":{"Q3142560":{"pageid":3153276,"ns":120,"title":"Item:Q3142560","lastrevid":47206477,"modified":"2026-01-01T00:20:26Z","type":"item","id":"Q3142560","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446843"}},"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":"Q3142560$F7DB32DF-5380-4232-AC00-CBDE1583F55A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b32823e0d8a1b473b7dc0cba398323db83f87e1","datavalue":{"value":"0788.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142560$72A8900A-8755-4DF5-B0D9-84B063D13F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142560$579435C6-3900-4502-B201-748239FD52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142560$328E3B04-7E00-4DA5-B109-4BD06C105881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142560$C0A61451-452A-4670-8405-23F4F58BD4B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729108c69527af72f2ca1b9041a9358219bdc1fc","datavalue":{"value":{"time":"+1994-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142560$BD2B21F1-6883-4169-82D1-04C79F311A4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142560$06D64275-43D3-4264-8FD7-B50F2A380611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142560$50E1EEEF-05AF-43D9-AE6A-562421586EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142560$FA65EC80-A9AE-4EF4-8DC5-E6FD4C85941B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8305af0446cfa399ff677f41d699ce29e4273d56","datavalue":{"value":"446843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142560$821FCD2A-AC70-490B-9C1F-60DC157CF618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbeca918e822b834ce779c3c27892da853615f3","datavalue":{"value":"finite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142560$D3D64FFE-F7B6-4D00-B851-650C294EAF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142560$0B335C1D-8CEC-466D-B701-A90C036215EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142560$C2A99AE4-89BE-479D-9DC4-EE77C15CC559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e01c82e8bada72da6e7e2d854719c50cfc92e12","datavalue":{"value":"dual proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142560$CF418F25-3C52-4B40-9BB6-AEA6E7EECA87","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":"Q3142560$546FD3D9-191C-4243-BA5E-6E9B31240B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b00e947b5f3de3e3fc2923a5b5bf078d2ade4","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a755b1aea4e35b5e37cbbc7588608f47ea94dfe4","datavalue":{"value":{"amount":"+0.8706262111663818","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":"Q3142560$57F719D6-362B-44FE-99F1-878C872A2DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c015bb7062bd77c09695976dcef472b0b8232600","datavalue":{"value":{"entity-type":"item","numeric-id":5869601,"id":"Q5869601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56772a0344f569d1b96be0d05e904228b0a2a6d3","datavalue":{"value":{"amount":"+0.8685703277587891","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":"Q3142560$460C684C-6B2C-42F5-AA54-5CF3521C903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d4d0239adb7b20b9a0eb5a66133f7be451f463","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d362b9874bf6950b03c8f1344bdd3d49687d29a1","datavalue":{"value":{"amount":"+0.788503110408783","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":"Q3142560$4B966DA9-AED5-44F8-AC86-709F36252547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59045bf5f66538f1e2231dee64e1237a30ab35d8","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63b2d1577921d9e639f8746e7a67d9984b4486d","datavalue":{"value":{"amount":"+0.7877388000488281","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":"Q3142560$7F8E35F8-5569-417A-8FA3-E4A624B31C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb9836b5354ac90e5db460bdec9acd6bbdb848c","datavalue":{"value":{"entity-type":"item","numeric-id":4282535,"id":"Q4282535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f49f4a422096d5a5e49b009280d887c936d195e","datavalue":{"value":{"amount":"+0.7808054089546204","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":"Q3142560$31412CD5-AAFE-41F8-B624-91FA4BC36309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142560","badges":[]}}}}}