{"entities":{"Q3880843":{"pageid":5910748,"ns":120,"title":"Item:Q3880843","lastrevid":54597356,"modified":"2026-01-29T04:48:49Z","type":"item","id":"Q3880843","labels":{"en":{"language":"en","value":"Beweistheorie vonKPN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3685487"}},"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":"Q3880843$F220D6A0-7198-40EF-B7C9-21330E794EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b34b69d088136e226e3a6ef7a5d14e13514d928","datavalue":{"value":{"text":"Beweistheorie vonKPN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3880843$862EDB0A-BA8C-42C0-9ABB-FC65ECDAFBFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6247e5561b637765ca762b9b264628b297646262","datavalue":{"value":"0439.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$C6E8F5D6-EEC7-43AB-8E81-13ACB4CE6836","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a91aa7f5785868285d5d594e2db3414bcd47dc13","datavalue":{"value":"10.1007/BF02011138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$06BAEF81-AB21-493A-8676-D76B50FF3AD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$2384FFA6-64E8-497F-82D3-F4149F075BD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$48D6F1D0-3C87-4C20-97B5-9CFC4CBD2251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3880843$42CAA9BF-C285-456E-ACDB-10CEE53E3061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96f0b233808818d591ff70e99d7b6bd76a8e24a9","datavalue":{"value":"https://eudml.org/doc/137960","type":"string"},"datatype":"url"},"type":"statement","id":"Q3880843$A1D2ECBE-B1AD-4A8A-B977-BE050DEC5BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$3DE30BDD-0133-4AD4-B85E-42E96F7CE76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$BB61345D-B0D9-4688-9952-85F8AC82453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$D82F528B-69FA-4C28-9B56-0A4B65D43585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e3e7b1bd8dda0d9be2a300aa67462bcff44ebfb","datavalue":{"value":"3685487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$C86A3A70-8660-4710-9360-354BA21F1A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd884b6ab3b54190215de75ca28a836391c6f86d","datavalue":{"value":"subsystems of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880843$5BD78D66-952C-48DB-BBC8-9AD75C819915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7290ce44e4cd743c05a83a16635d59f811122416","datavalue":{"value":"systems of ramified set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880843$D78FB58F-7C48-4CD2-AE00-46836CC4D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78658c0cb57f35e7f723ba1a3be4d1e407265b86","datavalue":{"value":"cut- elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880843$63CCE9AD-C77E-49F5-A09C-487FC313915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880843$83910934-2875-48F2-B864-E5A1E4350AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880843$B74B88EE-A445-43B8-9BC8-0A0700AE35EB","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":"Q3880843$2E7E23B9-8262-4780-9F47-0184FF28EDC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$076AE749-D90F-4213-BB9C-0B90FF0C6805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$BE32730F-721E-49DD-AA8B-64829A6ED429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5666004b620eddca1e5cb69e260f94747d9c7a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4071232,"id":"Q4071232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$1A80FA26-3754-40DD-82AA-A8064A18C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$A1656DE0-F468-4C6F-9B51-541382FA0F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$3C6AC6F0-C04A-40AA-9B69-D5E72A82CB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54155611eb4521b8c307946c8946c90a4661ab9f","datavalue":{"value":{"entity-type":"item","numeric-id":5638276,"id":"Q5638276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880843$3FAD873D-4C18-40A8-8BB8-DDAEAC86C30C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f5e0de0f1e02e14ab5139ba39b2ab92dd42ee8e","datavalue":{"value":"W2314635988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880843$3A4518BE-4049-4F7B-930E-2093B5843BF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3880843"}}}}}