{"entities":{"Q1895976":{"pageid":1906718,"ns":120,"title":"Item:Q1895976","lastrevid":71711835,"modified":"2026-04-14T00:03:03Z","type":"item","id":"Q1895976","labels":{"en":{"language":"en","value":"Defaults as restrictions on classical Hilbert-style proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 784605"}},"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":"Q1895976$3FA8ADC0-E99D-4149-B1B6-939AA481B355","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6de73c366ecd06d742a54c8b961b0bd6c1dd00b9","datavalue":{"value":{"text":"Defaults as restrictions on classical Hilbert-style proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895976$3473731A-5C46-4DE4-924F-D502787030D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbb9fd96a1e582d87da9e49ad9012af948dde89a","datavalue":{"value":"0827.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$B8A57E6E-CB1D-44F3-82A9-24A3AF5F7AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae4b13c5ce9f6a95a700641c5e7d71e8a40b7e3b","datavalue":{"value":"10.1007/BF01160020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$B7AD3B84-EAD2-4BDE-8B7D-F20FFA434852","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a1ce5ccb10f813c3a09cf8da9077a5eba6e96","datavalue":{"value":{"entity-type":"item","numeric-id":274411,"id":"Q274411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$AABB3E74-0D6F-4ABD-9101-E7BF10206C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8504b40275d8e352084b681316fb158033c64656","datavalue":{"value":{"entity-type":"item","numeric-id":543603,"id":"Q543603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$7144B322-DC1A-4EEE-B44F-D6B4024B30A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00588ce3a80103221fc8a035c641becf9df18016","datavalue":{"value":{"entity-type":"item","numeric-id":1317898,"id":"Q1317898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$692AD022-CB8B-4387-A858-FABA443FD526","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$9FEFB0E2-94CD-4121-B4D9-181C4B84F7AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-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":"Q1895976$72959987-935C-4081-B395-E619E63E683A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$7914E69D-D700-4568-93D2-CE81B1BEF2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$FA4FEFD0-1183-49FB-99DB-F396A2EFC01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$18A379DC-8F01-4B50-8E44-AAFDA7A2D5E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3918ad35164cc3cfe58c6f43b4dd5556bc9c906","datavalue":{"value":"784605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$F9C89651-5EC7-45DB-963C-7A23FD3BCD88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895976$D77A1BAF-7C8B-4901-AF99-90E0A1497D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895976$C47CAA93-DB69-4A2C-BE38-385CA91331BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895976$AD9C4AA5-4ED1-40C5-B315-A12402AF446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895976$E43EC447-A034-4157-973A-922ABB2E1B97","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":"Q1895976$770B969E-D25B-438E-AAF5-5A6259B106CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$0E780D90-96B7-4A4D-B5F8-BF43BF47FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$F68BD836-F470-4BB3-8CE8-8A990697CD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e9b5b6f891d832de62777964bf4d48b4146b18","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$A81098DA-492B-432D-B074-62335A44EAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfaed0327ef2fb40a7edf3a4b5135d2b983c32","datavalue":{"value":{"entity-type":"item","numeric-id":4275685,"id":"Q4275685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$11F2369B-F862-48A8-9F62-98CD5B9C7F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$6058C497-9324-47DB-8131-06E8E4E14056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$A0588AC7-9E6B-416E-B1B0-4455C72594B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05972f2154c6dbf32ecd6e87329f401763e8283","datavalue":{"value":{"entity-type":"item","numeric-id":4291870,"id":"Q4291870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$C0E09978-C3D2-4454-854C-AA7F336B035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b443a3f33030bb8282bef604d7168adc0aa08be","datavalue":{"value":{"entity-type":"item","numeric-id":1327479,"id":"Q1327479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$1052E697-F154-459F-8A74-2E08D44D6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5816d7e13fa123e9f32fb85c266ff6f5b3f37d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1321060,"id":"Q1321060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$1B4119FF-0F5E-4275-9023-6B0A51DB342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddac4fcfdd35296ca9629e09360867754f55098","datavalue":{"value":{"entity-type":"item","numeric-id":1321059,"id":"Q1321059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$E2E61B1D-048B-4E00-861E-B741CF64FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb42ae2cbad40ce16165069ecd7116f03c21158c","datavalue":{"value":{"entity-type":"item","numeric-id":3198881,"id":"Q3198881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$67670D3F-EFF1-41A4-9351-FA6FA8EABA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$05CE3327-6DDD-4736-A098-C4BF8BAAB59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d171160bdfbdcde1cad944aa0210e21c0aef9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4202924,"id":"Q4202924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$875CEB4B-80BD-4AF0-86CF-CFC9FB80CD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2193ca9a46a9f61773d85b571463d71faad5a094","datavalue":{"value":{"entity-type":"item","numeric-id":3493282,"id":"Q3493282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$563BCDD1-3D17-44B1-8E23-94D846C7DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468c466a706e55ee0ac089919fe49c486edb41b","datavalue":{"value":{"entity-type":"item","numeric-id":750134,"id":"Q750134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$DF5D7A62-13E5-4565-B392-EF1DD9EDFDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895976$D9A37F64-BDA5-4BB9-8D37-ADA8BD563BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ba088a327ff5f30e69a94383ba3d1b96f86dca3","datavalue":{"value":"https://doi.org/10.1007/bf01160020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895976$B42BC75E-0419-484E-A5C0-4B3611C5B2EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96856a2c06562c761ad2e233319268f63a5f83fe","datavalue":{"value":"W1974174939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895976$CEB71B63-A59E-490F-9287-1EFB3FF37E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dbe5e5f8c345235fd125d6327ce5ec3041d7549","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20f17e30a1245aa7b2a422eb8eeb0541492f5a8","datavalue":{"value":{"amount":"+0.8205412030220032","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":"Q1895976$6C546DE9-2AAF-4C6B-B5A3-0D17518654F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efdfb2904246ece617e3a48af66dfea488493a0","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5bffe24836d52ff4b9676b2fe1e1a193813f21","datavalue":{"value":{"amount":"+0.8177633881568909","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":"Q1895976$2D246D62-7FA2-47DA-AE66-20445BEF7007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7e40e2bd47fd88638e64272d6b6c5eadca9b1a","datavalue":{"value":{"amount":"+0.8126506209373474","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":"Q1895976$1A89B095-AAEF-4C48-B2F0-45EEC3C5F404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9948c3503c9da882b49ecb07e4b9f0628281e3","datavalue":{"value":{"entity-type":"item","numeric-id":3374095,"id":"Q3374095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7e40e2bd47fd88638e64272d6b6c5eadca9b1a","datavalue":{"value":{"amount":"+0.8126506209373474","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":"Q1895976$E0EBD932-CE15-40A0-9DFC-78A35247009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57d8a97f95a5acc8b87cca68f729574adcd58cc","datavalue":{"value":{"entity-type":"item","numeric-id":4236375,"id":"Q4236375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ed69c46b0289f65ad5513e4f7eb20e5437680a","datavalue":{"value":{"amount":"+0.8078024387359619","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":"Q1895976$6452CC45-EC66-4A51-9CEE-674A8D9CA084","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Defaults as restrictions on classical Hilbert-style proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Defaults_as_restrictions_on_classical_Hilbert-style_proofs"}}}}}