{"entities":{"Q4364504":{"pageid":6394103,"ns":120,"title":"Item:Q4364504","lastrevid":28563209,"modified":"2024-03-05T14:30:28Z","type":"item","id":"Q4364504","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088191"}},"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":"Q4364504$D8F9054D-55AF-4A0E-81F4-48C511F69A67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e70986c3fde79eb3bda51003e94cdf5c91cbec8","datavalue":{"value":"0888.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364504$EC602F5E-BD84-46E3-8A20-85DBE80CCEF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50dfba14eecf8f7e9f64ea004fb9b72dca6eb33f","datavalue":{"value":{"entity-type":"item","numeric-id":1181716,"id":"Q1181716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364504$1247C89A-6B08-4C49-8EFE-BCC4B1AE5438","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364504$6778D796-48F3-4A40-8BC1-C5F737FC63BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364504$FDE36746-9CDA-432A-B6F8-872C3184ADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364504$608C32A3-C77C-4480-BBD3-1E7115460841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb7e18ccb676e72a67d5540b13faf98eedd6c3ff","datavalue":{"value":"1088191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364504$7327D989-2051-4D49-A42E-1AF20F2DAEA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364504$A5FD0331-3E61-47BB-AA59-AB94D4985F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364504$313775B2-599A-47D7-808B-25F5748AC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb21e144d2c5304bcf390f639f0105b0113a269f","datavalue":{"value":"resolution calculi for non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364504$ECA79D64-708B-4E2C-9FB5-1104DBF4ADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364504$154873FF-2EA8-4D33-B7B3-869DB6BD2A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35ca70c4db17b1bfb865211da2f82e9d5e008667","datavalue":{"value":"resolution-based decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364504$0E64EA04-DB4F-48B9-98BC-D89CA7C15310","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":"Q4364504$E0DD614B-4D9A-4D3F-B253-8A52613D7874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364504"}}}}}