{"entities":{"Q4893142":{"pageid":6922721,"ns":120,"title":"Item:Q4893142","lastrevid":47411824,"modified":"2026-01-01T16:23:41Z","type":"item","id":"Q4893142","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922622"}},"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":"Q4893142$8757F361-38C2-4E8F-A6CA-E857A2B04C21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3df73aa3128b58daccf7e4ab3f01f6f8f0fde67c","datavalue":{"value":"0854.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893142$63F1B8CA-A71B-49B5-984E-2AFE4F5B2ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcc52ccf38f83bed08887cc1fb96b6529a3811f","datavalue":{"value":{"entity-type":"item","numeric-id":2844924,"id":"Q2844924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4893142$02DE9BA7-0A29-43B7-8D0A-EAADE5D9BD38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf43ba359bf7522f1609485030d4b049bb90896f","datavalue":{"value":{"time":"+1997-01-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":"Q4893142$B86FEF3A-CC92-4EB8-B250-3C48892BF937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893142$3790DCAE-5CE9-4D37-85AC-9442430E4F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893142$2887E42A-990B-40F4-B8E2-9B0821513182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32fa20d90a69420a4f3c563d04fa9687fde0f444","datavalue":{"value":"922622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4893142$2947B678-4E34-4584-8F1C-4FB74960E9CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e1f12085c1fe17c2075a8da057d86287feb5de","datavalue":{"value":"transformation of modal formulas into first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893142$12C3E220-0B8E-4D1C-A1BB-1787154BA8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f3bbed58000cda17daaf8273b0c08c677ace4b","datavalue":{"value":"uniform theorem proving tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893142$EB364E5E-5D8C-4812-A39D-AB3884B51644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4893142$207EB5CD-01FF-45F9-BAF9-0C4F389165B2","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":"Q4893142$ABF130A5-EA46-470C-8763-DB8A1E3E1103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb39ecc981ad24d769fad51449e3590eb3698036","datavalue":{"value":{"amount":"+0.810692310333252","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":"Q4893142$373A6361-CCC6-4D3E-A035-A28F14999E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033cac62fcdf64b0baf79d02b39769bb477c8253","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43aac09967b71aeab7c467459b7c3070c4015c17","datavalue":{"value":{"amount":"+0.7915276885032654","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":"Q4893142$6F02A995-6E8A-4DCB-8DB0-761FC2B086B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f8f005331d9110af60d1327eaf392873db629","datavalue":{"value":{"entity-type":"item","numeric-id":5259659,"id":"Q5259659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8f2751710312ffdf96aa50f4dc86087ae496fb","datavalue":{"value":{"amount":"+0.7873419523239136","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":"Q4893142$59729BC3-7AF1-4023-93A2-5D274BD8A854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da07955a10fb68dc394f660a9576bfa0a056d74d","datavalue":{"value":{"amount":"+0.7829400897026062","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":"Q4893142$9897BD44-38DE-44BD-A0BE-E826EC78CDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411c240a461cc15ea0a1c24e26accc6ab3f1d1ac","datavalue":{"value":{"amount":"+0.782599687576294","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":"Q4893142$BAEA02EC-BE6A-422B-B9CA-F8D8C862E6F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4893142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4893142"}}}}}