{"entities":{"Q1679781":{"pageid":1690522,"ns":120,"title":"Item:Q1679781","lastrevid":81617195,"modified":"2026-05-06T18:56:41Z","type":"item","id":"Q1679781","labels":{"en":{"language":"en","value":"Logical argumentation principles, sequents, and nondeterministic matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810797"}},"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":"Q1679781$5C251689-DC24-4F4F-BFE0-070D1F5FC789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a616f3bf5c441be8000276ea22e67cb13df393c","datavalue":{"value":{"text":"Logical argumentation principles, sequents, and nondeterministic matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679781$523DCBCF-BD51-4E74-AE5C-EF883C1E25A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00c031d02e814cef9704a9852d84b9421e73d630","datavalue":{"value":"1495.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679781$FF171AFB-CBA8-425E-952D-752E70DCD401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a8da97d59ddcda4e757a670f7cf74b64fc1d28e","datavalue":{"value":"10.1007/978-3-662-55665-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679781$3FA2BEF2-7A27-45A7-BF03-3D69BAA7B267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01892c7a08e18353277e7fd4dc9362b4ab6353b3","datavalue":{"value":{"entity-type":"item","numeric-id":679805,"id":"Q679805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679781$CC8BC9F2-B1B8-4922-A326-BEAC7205749F","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":"Q1679781$AE13456E-0EDB-4089-99B8-A9790F3F7525","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679781$DF4F8EE2-8C9B-4651-B2D7-FCE1FB1E27BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679781$722B4F1F-1CEC-4BA8-ADB2-E0A9212C6C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12d8f6d95129ab2a9da42c2fd6b096f6da460bcb","datavalue":{"value":"6810797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679781$C5BE12D8-8040-4A70-87C0-63D6EA61D7C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679781$533319E5-64BE-4694-AAB5-4EB5B86E2776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679781$C64BD401-A802-4C33-BB1D-CDA51679C420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c8cafedf90cad7529aaffc7632bff61f54d145","datavalue":{"value":"nondeterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679781$53AC4C88-339D-444D-BC96-5FEAF769E905","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":"Q1679781$E597232F-D299-48A5-BFCA-01A23DA3D947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b971b27f2f257226df19a24ad35c5847bcbe90d8","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55665-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679781$C6597D1A-8EFD-4010-821C-80564BC59A6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b27886e60abd22f94f24ad20c34cb6c4ae7a452","datavalue":{"value":"W2749002428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679781$C0B1F180-119F-449F-AF0F-79821502BA20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a5f270d636b710fa0e0062be54c9a4394da783","datavalue":{"value":{"entity-type":"item","numeric-id":4583317,"id":"Q4583317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4b08d3b034660b24b35133b28d39a4638f5ad8","datavalue":{"value":{"amount":"+0.7886017560958862","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":"Q1679781$02927658-7253-4D74-BAA6-BE093815DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14de22dc015904c917c07f23e673796cb2f1eb9","datavalue":{"value":{"entity-type":"item","numeric-id":2851959,"id":"Q2851959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ecf1e2303c8883d19a60038c9349cd132e5dd3","datavalue":{"value":{"amount":"+0.7756585478782654","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":"Q1679781$46BCCDF8-7B21-4BFC-9328-9C745458A266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67485711f3e38bd4367dbd58f2114b4f85062fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3623901,"id":"Q3623901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5dfb92247fa9267ff978d4c23da84f3b1772ee2","datavalue":{"value":{"amount":"+0.7710092067718506","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":"Q1679781$A072A622-1911-4317-88A9-F6FA22773847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfb8d7b8c7818bba60fa9575115e65c00e84d14","datavalue":{"value":{"entity-type":"item","numeric-id":5039147,"id":"Q5039147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb7031f9f20af5eba4ba52fc44f03b082e4d316","datavalue":{"value":{"amount":"+0.76959627866745","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":"Q1679781$85489EBB-F92C-4581-AAB9-4D942FB8254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1db053cee40651395117aabbd4dda6056adceea","datavalue":{"value":{"entity-type":"item","numeric-id":1402750,"id":"Q1402750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d210a1deef94a63082c6e1aedafa3ef647aa5d","datavalue":{"value":{"amount":"+0.7639340758323669","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":"Q1679781$04F16437-31BD-4316-975B-AC69B4A3FBBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical argumentation principles, sequents, and nondeterministic matrices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_argumentation_principles,_sequents,_and_nondeterministic_matrices"}}}}}