{"entities":{"Q3838804":{"pageid":5868709,"ns":120,"title":"Item:Q3838804","lastrevid":54495935,"modified":"2026-01-27T10:28:01Z","type":"item","id":"Q3838804","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189097"}},"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":"Q3838804$7466BD68-821E-478F-93B9-79DE4CFCC793","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bae0a6b0d54385c6fa156586575f0e1ceb59ae0","datavalue":{"value":"0909.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$BFD13592-923D-4AE0-9F94-C74E5CC7C940","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838804$FBC9844E-06A6-4F22-93E9-0DBF47B17E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838804$E3CE05C4-84A0-402C-BCF4-BA33A091E6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-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":"Q3838804$18EB7E1D-83E3-4550-A935-B1C12982FC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$D7B09FB8-41FC-4EB1-B07F-57ADFC195B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$4DBBD5C4-5329-4C1A-9F63-C99D712BD0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$C980884C-BCF7-4C7F-A814-4C8BC3A3195B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$04DAB06B-4CA2-498D-8D77-9BF25D44780E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e069041685fc02b9545a04c74ae7b69b7aac02f","datavalue":{"value":"1189097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838804$A020EA05-4BCF-4C4F-8483-25FAB99AAB55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838804$1E3183E0-6641-4D96-B867-EAAE8F5AF37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b360feee3b28023c297e29b4c8a1684bc4c9f9","datavalue":{"value":"semantic tableaux calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838804$369A4BB0-9371-48C1-94C8-1B1E26DAB2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838804$457F71D3-92AC-4A0E-9FB1-B84CE6E9AB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838804$7D388D5B-3FBD-4BA5-BF30-F6B9834708A2","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":"Q3838804$6F70C327-43FE-4DA6-8276-8F497D8A8DC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457fcd108e6ee18d4a945ceac4b1d14513f8a0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a545e095c09f53cc117d2a8e45f9766a1ab8c5b5","datavalue":{"value":{"amount":"+0.8334001898765564","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":"Q3838804$7EE73084-8F76-407B-8F9B-74194C49495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fccc84a305f6d8777fee5d0fab2ed856224a7f","datavalue":{"value":{"amount":"+0.8227475881576538","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":"Q3838804$67E5EF83-EA32-4892-A7D2-E922E470293E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8b4edd157c291ffb92e6552045e153481a845","datavalue":{"value":{"entity-type":"item","numeric-id":4385435,"id":"Q4385435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b910ab436fe76e8e35c0506d4e60d7f1dae46f","datavalue":{"value":{"amount":"+0.8202652931213379","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":"Q3838804$E78543BD-366A-4CD6-8508-67DD971219EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838804"}}}}}