{"entities":{"Q3086769":{"pageid":3097484,"ns":120,"title":"Item:Q3086769","lastrevid":51217826,"modified":"2026-01-17T07:20:35Z","type":"item","id":"Q3086769","labels":{"en":{"language":"en","value":"Some historical reflections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872249"}},"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":"Q3086769$E75CAAD5-0B5B-4077-B559-68901A683680","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0069419345b0093c7db60d6a33a78008b01ddb54","datavalue":{"value":"1226.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$566CB9AC-D6CE-4BD9-B6DE-92B6C52C4127","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086769$82B583EC-0100-48A6-A4B7-E91EEC090B31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086769$A1F35C65-A5C9-4477-B5D9-314D55826285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$2EF450CA-7A20-41A8-93EA-98FF5E605366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$E95B40BB-B039-4A2D-8C5E-36BFC3E1FFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$ECBE8E5B-68F8-44CF-8DEE-B9522B0F0342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$434C2641-A54B-4F2A-BC62-0A5D15B801AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$F8496566-58D5-4CAB-AB4C-4BB7C3742BC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac920513648868543b2e8d91e808611c6be37c14","datavalue":{"value":"5872249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086769$6B5C0BD3-5D22-465A-9B77-4C5D0279450B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48452aeaf4e0251469b733cac4b50b0addd56f3","datavalue":{"value":"Herbrand's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086769$F2FA9767-EFDF-42F8-88B7-5A2A42CE0992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086769$1003D3BA-D7B8-4C91-8A6E-C0A7316898A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9968245a128a2c396f278fc1994847dd789e93ce","datavalue":{"value":"automated theorem proving system TPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086769$935C77F0-7B01-4742-A9F3-96FFFB2EA7A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086769$ECD199F6-540F-40B2-BEE9-3BFD0A053DEF","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":"Q3086769$E1982752-43A1-4DB3-90B5-202D7D70E8AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799a38e83bea9921db7a769536fd5def8b656e78","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e68f5725393fff7fce4030e35eb270f3dea3e38","datavalue":{"value":{"amount":"+0.7580177783966064","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":"Q3086769$B1B0F846-2DE1-45DD-A34C-53CD94D23D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179aba301de4d6774067799de16d6584050fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1942097,"id":"Q1942097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30a8a7410aeee723820bbca0b491f5da7db6132","datavalue":{"value":{"amount":"+0.7568917274475098","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":"Q3086769$C544C9C8-A44E-4463-B1F1-4D050C49EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c008c5b7366cc8a246a707b9f8df3e5c1c09eab2","datavalue":{"value":{"amount":"+0.7468550205230713","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":"Q3086769$68E2262A-D454-4633-B80B-E3034B29BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d5da1fbdc9adb03d3b7782cf5e67ca1e745d81","datavalue":{"value":{"entity-type":"item","numeric-id":4289239,"id":"Q4289239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020f591d8ae93443aad36cd557749b282d3956f6","datavalue":{"value":{"amount":"+0.7297375202178955","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":"Q3086769$F0093724-E945-4E94-A5FE-0F1C805BF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4934a407f1d8c884db587f42db154a949f7f59a1","datavalue":{"value":{"entity-type":"item","numeric-id":4790398,"id":"Q4790398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f43da16949a707e31bafaf9f9afc10958fc1d0","datavalue":{"value":{"amount":"+0.7242324948310852","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":"Q3086769$84DD1525-582D-45F1-B1AE-242B260DEB45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086769"}}}}}