{"entities":{"Q3838806":{"pageid":5868711,"ns":120,"title":"Item:Q3838806","lastrevid":54495938,"modified":"2026-01-27T10:28:04Z","type":"item","id":"Q3838806","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189098"}},"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":"Q3838806$1D92F53C-AF75-4586-B90F-29DA711AE481","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79f7868af933aed483dbd326208454c98a9eb007","datavalue":{"value":"0903.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838806$35F230C8-C1D3-47B8-922E-66AADB1315F6","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":"Q3838806$D3D70760-B324-46A0-8656-04001E7F1A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a795685f5a30473ff694b2a2e38a90b8166d8131","datavalue":{"value":{"entity-type":"item","numeric-id":3838805,"id":"Q3838805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838806$64A3C2E5-0B7A-47FE-9087-22C286369E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da84256ba4cf59a5f1c2c150bb4ab85d06806895","datavalue":{"value":{"time":"+1998-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838806$B69A47E4-C646-4D53-BC27-418792B0FE7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838806$0D660BA0-AE4B-448E-9ECC-0591930EA8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838806$7D316D0C-BA7E-4384-83C0-19E3E06E868A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb26d6e0fefcd48807a63c1fd9697c57477007a8","datavalue":{"value":"1189098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838806$D1B10F65-515C-4836-BC70-7B9F477CA2EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c3b91a8325dbfed55fe2b5f4f1593f16c15e27","datavalue":{"value":"free function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838806$878EFD91-497E-461F-87C9-C1472BDB3021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838806$37543C8D-7A77-4011-AEDF-E2684E9E683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838806$FBE6DD5F-3A29-4D68-A9F8-4DF0CEA8E3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736e86d85cb94c335dadda0a3ab08dc7444a272b","datavalue":{"value":"decidable fragment of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838806$28B6FDFE-E7B4-4D15-832A-824E3663606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e4b36a8703c872b3b9a791903b5e22961b2f46","datavalue":{"value":"multi-level syllogistic with singleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838806$1E500505-ADEC-484C-BE2E-4BA6BDC1E245","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":"Q3838806$1BB1AC04-F81F-4C9D-8039-F644F7994C33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee886934725940e74e4f5e04e9e7757c460cb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4503906,"id":"Q4503906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0f1c4809a8b8a7ffe28e7eb78f1eab0afbe4a9","datavalue":{"value":{"amount":"+0.8397678732872009","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":"Q3838806$DF9B778C-4D61-4304-ADE9-E74DF258A39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9558e83443494e9773d6182952110c24b0c6183d","datavalue":{"value":{"entity-type":"item","numeric-id":4867922,"id":"Q4867922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994e9b3af84e1e93914f8d8ae802be564bc4e7d0","datavalue":{"value":{"amount":"+0.8110236525535583","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":"Q3838806$31E63815-C542-43C3-BCF9-9B7935E4972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b75d5aeea62b8b08b6e0e52aec0b40ebc1b0b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4263009,"id":"Q4263009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc8d253fd65bfd814b02f8cb712eafec20e5ea6","datavalue":{"value":{"amount":"+0.7965315580368042","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":"Q3838806$E3C12973-61CB-47C0-9F2D-4966B9DDCD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c033ebd208a435ababae29a46b63d7a7a5449f","datavalue":{"value":{"entity-type":"item","numeric-id":4884662,"id":"Q4884662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43214744489e2a9f346cba0af427e0413f0bb733","datavalue":{"value":{"amount":"+0.7815476059913635","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":"Q3838806$4EB11634-C4E1-4B8B-B7D8-433F846E12FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838806"}}}}}