{"entities":{"Q3819063":{"pageid":5848969,"ns":120,"title":"Item:Q3819063","lastrevid":53866622,"modified":"2026-01-25T20:38:55Z","type":"item","id":"Q3819063","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4091495"}},"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":"Q3819063$3E06542D-C294-479A-A593-087CD0400CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5808b6182a85f5227c66bc628574085b6c5ca6d1","datavalue":{"value":"0667.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819063$76F61B64-CDE0-4EEA-B966-49153A7936EB","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":"Q3819063$7B01D056-9F81-40B4-A598-22B4C45A6CA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3819063$FDE3E82B-9512-422D-B066-446A8CE49CC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819063$C208A8EB-38C8-48D9-9B4C-E492E0EFA602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819063$D179729C-DA45-43DA-896E-58E28C5F1088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"712b509e448e68a2273e0f9e7964bc23f0175e9b","datavalue":{"value":"4091495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819063$4E9E83EA-58AE-4A33-999E-08C34EB51677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f4936c876a41f622e5adf6581f571e7fd2e1ef9","datavalue":{"value":"naive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$B35221BB-8AD5-4E2E-97DA-FC321BF3331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a51e1445e7c3074346d0e22626a15eafe28c508","datavalue":{"value":"partial normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$FFBFD136-993F-4957-861B-17DD1C5E4C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9716be04239a08386d512d97bccb9693c838fa91","datavalue":{"value":"Girard's method of computability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$7C321C4E-7F54-4EBA-A42F-F7EEF3957366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e2002c877d7e7a584c7d7000b75948587b63a5","datavalue":{"value":"intuitionistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$47F439D4-AFD4-42FD-8B79-382F8A8A7E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37c326eb7c200c8b25069e7830d4b6753a0d8fe","datavalue":{"value":"well-founded fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$F6F0CDF3-D265-4742-BF74-E5BE6EF5776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$23CA26C4-249E-46F2-BF92-CE3408A1A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02aaf9b207db00f2613a7f59da1e9e283ab7855","datavalue":{"value":"semiformal system SET describing the cumulative hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$EAA616A3-8498-4B7E-B5D3-C492F6161647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954fc46eba711964e4973f5721d8fabd1906e173","datavalue":{"value":"E-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819063$48A0992F-1B37-43F4-AC6D-AC8787B0730F","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":"Q3819063$8E1FD0DD-D6F9-49BE-8DA4-0AFB11322AE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e4347159e9c0e0bdae30ed157d1872628ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3720598,"id":"Q3720598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b0e4ed19154983666da4c0a68910d46dc24aa6","datavalue":{"value":{"amount":"+0.8837213516235352","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":"Q3819063$03D3927B-4616-4E9D-AB62-5E85FB94A629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7aa5ead69dbf0841fd08059947c7b01894005b","datavalue":{"value":{"entity-type":"item","numeric-id":4379628,"id":"Q4379628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60addd5c90c812fee644575b7090d2d3fc745c42","datavalue":{"value":{"amount":"+0.8257108330726624","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":"Q3819063$A97D3DDD-EF69-4620-88AB-71C16FA8CD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ccc37c0744196bfba574342b120191f55749e1","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60addd5c90c812fee644575b7090d2d3fc745c42","datavalue":{"value":{"amount":"+0.8257108330726624","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":"Q3819063$DA448F1E-BB66-47D2-AB6C-A0E9EE3E6897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928ec8085fd99b8fe8e035f04734140663423a16","datavalue":{"value":{"entity-type":"item","numeric-id":4732467,"id":"Q4732467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634d7e469fbc166e328de4cb2d7884024fbd618b","datavalue":{"value":{"amount":"+0.811295211315155","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":"Q3819063$E1DCEE9F-18BB-4693-84F0-B08456C29435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf1d5b980421c357cab0ffcb1393647c64841eb","datavalue":{"value":{"entity-type":"item","numeric-id":3981455,"id":"Q3981455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a8edd7078d118a1a326c06a2b5ddd58aea88c7","datavalue":{"value":{"amount":"+0.7746403813362122","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":"Q3819063$88FAAE50-B417-4EA9-983E-22ABCE9C6867","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819063"}}}}}