{"entities":{"Q4530461":{"pageid":6560053,"ns":120,"title":"Item:Q4530461","lastrevid":47921719,"modified":"2026-01-03T02:26:54Z","type":"item","id":"Q4530461","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748576"}},"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":"Q4530461$52D0F194-77CE-448E-A50E-C2C7F117D21C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"223adfba78b90bcfcbc823ac5912915ea0126035","datavalue":{"value":"0997.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530461$2A580D04-9C2A-43CA-855A-957642BB3915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530461$CD8B256D-20B1-4E72-81FA-200909E7D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530461$9791C405-7C2E-443A-93FF-02505ABC42CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530461$15760B11-BAA6-4D9C-A444-192C2154B4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530461$E1FFE117-1A3C-40C8-94B6-BC69C0518077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530461$FA2932EC-5058-4CC6-873A-6F5378432E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530461$1B547311-C232-465C-BDC5-70D8FF86F1DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f609b5a18ba4a808efb3732a36c6a71402cd96d","datavalue":{"value":"1748576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530461$7F07108F-76FA-4F90-BB28-39CF225A83AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$7B05A8EA-1179-473E-8289-FF26A7032ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$5C0E5AAD-5AD5-4823-93EA-E034C34711A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c03bfd65e2aa086786c76d29f8e55874752fd42","datavalue":{"value":"cut-free sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$E3552F9D-181C-461E-87E7-FDCD7A0DE1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$E4BFB299-262E-4FEA-A457-8E18AE77F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$0A36C2BD-AD93-4A97-93FB-E6123FE0AE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dd28788506a00de32eac4316847a5d3063e60f","datavalue":{"value":"minimal proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530461$72213807-754D-4D2C-8D2F-F923F2182E73","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":"Q4530461$5304A85F-4172-4E98-A7E7-0579F85B2771","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087a094b8e4e9ab2ed58c2fb6e88791e3627d707","datavalue":{"value":{"entity-type":"item","numeric-id":3549127,"id":"Q3549127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c58827697849fe8d8e24321d06705c97a3bc62","datavalue":{"value":{"amount":"+0.9057917594909668","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":"Q4530461$EB1FA152-9C84-4C35-9E87-62FA1D604185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef98f550b1f0d130ef1a5c7e14d3efc73351b36","datavalue":{"value":{"amount":"+0.8474755883216858","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":"Q4530461$E6285AC3-0042-4C42-9D46-14F8C114114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db78fa8a84317cac9e20fc71df9235fdc678e943","datavalue":{"value":{"entity-type":"item","numeric-id":4881301,"id":"Q4881301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68468c956bb8eedca68f53a13e9c9e7d0086ab1b","datavalue":{"value":{"amount":"+0.8474754095077515","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":"Q4530461$686F8C10-07BA-4073-A4F5-906AB3A05433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06394534ea31ba13ffef3460e18e300fe43168df","datavalue":{"value":{"entity-type":"item","numeric-id":1391905,"id":"Q1391905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d659b2b863eee0fadfade51de290ba2cd8d744e","datavalue":{"value":{"amount":"+0.8064202070236206","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":"Q4530461$3C8C474C-2BE9-4A91-A5FA-E3238D6D62F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9872245260060d4ec9d40213882a49de308a2595","datavalue":{"value":{"amount":"+0.8051310181617737","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":"Q4530461$47748646-D6BA-4320-9FE2-BD22DBD02332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530461"}}}}}