{"entities":{"Q2500816":{"pageid":2511559,"ns":120,"title":"Item:Q2500816","lastrevid":49898428,"modified":"2026-01-11T20:06:10Z","type":"item","id":"Q2500816","labels":{"en":{"language":"en","value":"On the proof-theoretic foundation of general definition theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047765"}},"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":"Q2500816$3C7DCEE8-F806-4449-AF16-EEE4AF06F80E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712026396bc7c5ec7cd649fc20f264cd4380a110","datavalue":{"value":{"text":"On the proof-theoretic foundation of general definition theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500816$0A1F1F83-FD64-42FC-99EB-E8233662160B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1b280b6a3009315d137790c7c8d5930b875c1c","datavalue":{"value":"1103.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500816$C3D5B60A-8F10-42B9-82EC-BD5117EE941D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fbac9052f129ef2f8a84bce4b214226c0b56cf","datavalue":{"value":{"entity-type":"item","numeric-id":580962,"id":"Q580962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$FE50B023-1791-4A80-B3E4-828B471B9CB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$BF1060EE-AF95-4566-A136-BE7D6AA80327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500816$3ADC18F6-72C9-49DA-AB3D-4420C30FACC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500816$06C2DF60-683C-443C-AEF9-7AD06B4841FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afadca19b639c669451c2df87e27519b37b563d0","datavalue":{"value":"5047765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500816$D5FE0AAF-DA0B-4DFE-9C19-AD0C5068C1E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65071807d8ccf829678b5505eca0302e64a5ee2c","datavalue":{"value":"definitional structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500816$0E10D630-ECCF-4F72-8F25-67AA3E2EF602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ccca66f99979c1250b8ee234c5b655af0d6683","datavalue":{"value":"proof theory of partial inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500816$B9C939E1-8A6F-4707-99A6-23F9EB82F24E","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":"Q2500816$33622A03-C1EE-4A3D-8559-A1A3CBDB79BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64caabb74c9372459acb0b4c3885fc4053e19f15","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6291-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500816$CA920CB5-7ACB-49FA-97AD-00FA607362AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7338ad1f74261494e070d718f4229e5c5715109","datavalue":{"value":"W1999127403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500816$0E99B946-166B-4232-B0F0-CA20AFCCE31C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21573947884c29be3eb0e055c84ae0cd9360a52","datavalue":{"value":{"entity-type":"item","numeric-id":1176246,"id":"Q1176246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$23AEEF0E-01BB-4F37-BD41-1A82BF4D6D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961cd6872b9ad81096cd6ee207e4227e0491e1e6","datavalue":{"value":{"entity-type":"item","numeric-id":673180,"id":"Q673180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$291C262E-0BC9-4F48-8CAE-FFF44E552FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91e6135da16ad581ae378e2ba0aa5f7e974b09c","datavalue":{"value":{"entity-type":"item","numeric-id":4284351,"id":"Q4284351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$793E8A84-DB88-4435-A2B5-166BEAF7B8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$55015F94-C17A-4148-B2E0-7865AB4755C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$CC352EC0-E62E-4FC0-A7CB-42B4A7DD1DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e3b7f67ee590e49f8b843352c20047179efd20","datavalue":{"value":{"entity-type":"item","numeric-id":5184198,"id":"Q5184198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$F828B2DF-429D-48AE-9E71-69EF1F6C525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f352dea4d4187c279b4bf9352eedddfbaa47a6","datavalue":{"value":{"entity-type":"item","numeric-id":1942043,"id":"Q1942043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$BB3E0E5A-01E3-42EC-ABFD-5812C84C1081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500816$EF474D72-0CB2-40C9-954E-205567E05A5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a60fcd1939d3b74e39ac21697feef6b5b50a9ea","datavalue":{"value":"10.1007/S11229-004-6291-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500816$BA527859-A8F9-4613-84C4-0AD6E8CCE004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73c56014b57357a520a88e167e70991812315e80","datavalue":{"value":{"entity-type":"item","numeric-id":4012887,"id":"Q4012887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6aecf775e7cd5343dcb1718d7c6b62da9538b78","datavalue":{"value":{"amount":"+0.7213406562805176","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":"Q2500816$4C17457B-BF0E-4A22-924D-4CA00B815471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d89e31a0d5771bc1eb782b61da6c6687dacc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eec6466180fd249469395258bb84bdf33049555","datavalue":{"value":{"amount":"+0.7212986946105957","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":"Q2500816$C2190EEF-CE8C-479D-85EB-3E1D0BF103AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80d684a8780dbbe3fd47a29697dafdb23dd75a","datavalue":{"value":{"entity-type":"item","numeric-id":3535127,"id":"Q3535127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57013eb49e4d3a4e0d6be18f07d63bdc6985e828","datavalue":{"value":{"amount":"+0.7148088216781616","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":"Q2500816$B09D0122-D80E-4ACB-9D0F-7B6222FABC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d712d840c2fd33d9cf2f97e3dd83c6c291f59d","datavalue":{"value":{"amount":"+0.7074625492095947","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":"Q2500816$0B5CAAF2-FC6B-476E-BA3E-33A35B0F371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f102e22515341a2c73151161ee415b7a7f994a","datavalue":{"value":{"entity-type":"item","numeric-id":4277728,"id":"Q4277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93578a635eda28e04c7e0eb080ec24b81437b67b","datavalue":{"value":{"amount":"+0.7060837149620056","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":"Q2500816$BD9C48BD-2995-4BA7-A909-BAAB1C146CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500816"}}}}}