{"entities":{"Q3823124":{"pageid":5853030,"ns":120,"title":"Item:Q3823124","lastrevid":54313118,"modified":"2026-01-26T15:06:26Z","type":"item","id":"Q3823124","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4096760"}},"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":"Q3823124$CAACF180-3942-4A42-AA81-58E0069EAC21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1b54a0c5407b38200e67cc7c485a718e3a5532b","datavalue":{"value":"0669.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$6532CDBE-4243-404C-98D8-B2CA826755F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3b75a80601fa40e05e4021fa67aaf99e7bb25e5","datavalue":{"value":{"entity-type":"item","numeric-id":911742,"id":"Q911742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823124$B0328BD0-174A-4EFF-8F5A-3282C6D6AF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70f6b46bb7edc841d8db870d75d38dbf2c15f25b","datavalue":{"value":{"entity-type":"item","numeric-id":749195,"id":"Q749195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823124$C1B90A70-DC0B-4C05-A16D-40220C4317D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fb904a820c73693b0d5559909fc9d5a5d7f002","datavalue":{"value":{"entity-type":"item","numeric-id":1330442,"id":"Q1330442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823124$32B53B1D-89BB-437E-931D-DD6784BB4538","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":"Q3823124$E3ED5B41-D5F4-4435-B1FA-57AB8216DE3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$8D9433A3-3036-4AA5-BEA3-E13F344A84A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$62CF2274-71EB-4ED1-9B88-D3BABCF41684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$673EA9AC-11A3-4AB9-9A9D-88A3F18FC4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$CFBDB972-E530-4898-A898-9963EBF83566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$A5607CBB-1EBD-42EF-BB3A-A71B1A972AD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1d4113aba945c2bab0cf2650a932008382183c2","datavalue":{"value":"4096760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823124$446998FA-D56E-4E33-A0DC-491BBB8AABB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004396036513211ae0cec012badd4d79d2536d45","datavalue":{"value":"Martin-L\u00f6f's types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823124$D3441925-52D4-4E12-957C-730A366FD44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7570fe1ab591c11640c69b073c4dbc2a3bc783","datavalue":{"value":"inductive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823124$F317B6C5-782F-4E05-BEA4-17A5B559DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823124$0FD0D0F2-7630-4CB9-9FCB-99A48F0D91AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b723510a3297d60567a41971a8704cf6fb5186","datavalue":{"value":"majority-vote problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823124$60CD1072-057D-4AE0-BF78-E669C2BF38F2","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":"Q3823124$CEEEED52-940D-49AC-B1E9-8669D73980F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29158b520f1b1aa4a0b8a5232d25751f1ccb0a67","datavalue":{"value":{"amount":"+0.8116591572761536","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":"Q3823124$44FE1BA6-51CE-405F-BD51-B0AB24C053E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e9274be747b867d79ef580a98b701337ca385e","datavalue":{"value":{"amount":"+0.8059952259063721","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":"Q3823124$FE118ACE-D68E-4106-A745-836C05335779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d352adfd5a53bf7827063375c398d327744ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3778750,"id":"Q3778750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b4d08157729218d6b911c5e4c9f3ed845c2e26","datavalue":{"value":{"amount":"+0.7677255868911743","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":"Q3823124$22571DE1-F106-42AE-9407-2AF234B6309C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecc5e8de418409f5eafa3d434bd67f86ebc425b","datavalue":{"value":{"amount":"+0.7594667673110962","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":"Q3823124$77233053-3BA1-469C-80DA-0C6CBDF7ED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad52315135949d14112c627bfbd062e64b876051","datavalue":{"value":{"amount":"+0.758158266544342","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":"Q3823124$0B24C800-9AB6-40DE-82E1-D8E8C2BB3FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3823124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3823124"}}}}}