{"entities":{"Q3752368":{"pageid":5782274,"ns":120,"title":"Item:Q3752368","lastrevid":51739871,"modified":"2026-01-19T18:52:32Z","type":"item","id":"Q3752368","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989325"}},"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":"Q3752368$4694704D-067F-408D-A0FD-92CB9DA1F135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6d2f90149a4a92be43df7add676192375fff83","datavalue":{"value":"0612.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752368$9792876D-0E3A-42A6-B9D7-B8D47206DEEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7b46c67dbd8bd5714492fb04e149e4af52201c","datavalue":{"value":{"entity-type":"item","numeric-id":1181719,"id":"Q1181719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752368$B0ACF08D-1BF1-4E2B-9F88-988F85DFF843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752368$90D72F07-2614-4855-97A8-C74FF1F0134C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f452dd10475ed326d4c41dd987525617da8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":805614,"id":"Q805614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752368$9E189C92-6384-4817-B9D5-B470602EB2AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3752368$76723E70-40EF-47EB-970B-34606D091A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752368$3F9335C8-E080-4D66-B0FC-B52391377A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752368$886FF753-FCF4-4F75-BA6F-A7234F8CA85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752368$13A8D803-1652-42B7-9D73-9743762D5B43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6919881d5e6ca99706e4104723bda5e7e8fc0263","datavalue":{"value":"3989325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752368$E9B6DA62-C5B8-4E56-A2A4-8D9D583F4A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2dbc22fee6de18b75a4997b5a3c08570da1777","datavalue":{"value":"non-classical automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752368$88D93325-9F22-47C2-AD86-D16AF893F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752368$F4662735-DC92-4FF0-B2B9-BA4FE4B8C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3776348a5056b3985c0044a2c55c7a5f1ac1c4ac","datavalue":{"value":"program KRIPKE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752368$6B5362E8-AABB-47CF-9BB2-C96CA0F72147","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac8154d930337e59665641772148e0b064b4cd11","datavalue":{"value":{"entity-type":"item","numeric-id":13904,"id":"Q13904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752368$6FDE09D2-9F3D-4470-89B1-7A976DBE27B9","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":"Q3752368$90D7E2DB-53A9-46AD-86FA-329FDA28E0B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1f1c30e73ce94ecb578880a689c502fa95a27f","datavalue":{"value":{"amount":"+0.7771145701408386","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":"Q3752368$119B643D-611E-49E3-B014-29F8B8378131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab80dabc4842ef923e9921c6e9023b17447e0809","datavalue":{"value":{"entity-type":"item","numeric-id":4304770,"id":"Q4304770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b1c97533ae783f65172bc0a533513228f04b6b","datavalue":{"value":{"amount":"+0.737599790096283","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":"Q3752368$0B6AFA5C-4EA5-4A85-B28B-81074C80B4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1b8581def4aa3d738bd5fbefb5a88e7801cd03","datavalue":{"value":{"entity-type":"item","numeric-id":3795648,"id":"Q3795648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b1c97533ae783f65172bc0a533513228f04b6b","datavalue":{"value":{"amount":"+0.737599790096283","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":"Q3752368$7C3A6511-20DB-48C7-ACE7-501E982F25B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b6accdc28ed9bd5a821192803bb5bcf97ed027","datavalue":{"value":{"entity-type":"item","numeric-id":3338217,"id":"Q3338217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f81ce724f75a212c7311518e93d94d705127ecf","datavalue":{"value":{"amount":"+0.727816641330719","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":"Q3752368$A5D3AE7A-3099-4EA8-92A2-33FE534BF5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae12d5c661f1c495299fd87545dfe4a081779b12","datavalue":{"value":{"amount":"+0.7160816788673401","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":"Q3752368$0F2E94F3-E42C-45EE-8CC2-12583F150781","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3752368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3752368"}}}}}