{"entities":{"Q4012882":{"pageid":6042678,"ns":120,"title":"Item:Q4012882","lastrevid":55180096,"modified":"2026-02-04T12:17:54Z","type":"item","id":"Q4012882","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65534"}},"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":"Q4012882$3C0B51E3-AB4C-44DD-A2C1-63340E66CB70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bc5fde4ae8fa549225e3f72f5893b9c21303d8e","datavalue":{"value":"0754.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012882$AC58BC29-CB6E-4412-A5BC-7369EE282506","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012882$31AA92CB-1617-4A64-A4B0-2FED8304921D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012882$7C82FC2F-F6A5-4FB8-AF3C-89A59E1B1E9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012882$C862F8F5-1BC3-4DB2-80CE-DE54364B2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012882$B37E1315-B8C5-4A2C-A186-CD7A6D3C2353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012882$BFB8306F-AC08-42C9-B02D-01D9D2300841","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc60478756b53b39058a5fe9ffa17c7d717daaa3","datavalue":{"value":"65534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012882$72C16712-0919-4C4A-A2EF-B4D442D79DEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0887f8acb349ff8fe193464e42c6e5d350a74909","datavalue":{"value":"algorithm testing conversion in type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012882$45B6ADB9-E060-4891-8A35-4A2024FDE8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012882$794507A2-1684-45CE-B90B-76D870BB1889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012882$1243A023-1E22-4FFD-8A70-8D0C695EA21F","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":"Q4012882$2C6F8498-DB66-4888-BA70-91BBE95C800A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270de6527ae96c33d421a94a582ab741c9b0b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5705901,"id":"Q5705901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a8a6a2ad33a0c5df2399e3056252fb15eeae7b","datavalue":{"value":{"amount":"+0.8104642629623413","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":"Q4012882$2F470EFB-3E99-4FC5-9FD7-D774003A77FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62e08aae69bf14a5dee004999b6c7f37287ffbc","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8095917a2856a06f7715c4e2d9c1114e4b775dda","datavalue":{"value":{"amount":"+0.759981095790863","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":"Q4012882$67BB0A1E-5925-49D0-A5C5-92DE65ED8A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fc4b8d5bbb2ed22afcb9da4a5b0f607645834","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b945b87bb841a17957e05aac482e67cc28814c3","datavalue":{"value":{"amount":"+0.7585958242416382","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":"Q4012882$E7B24DBE-D39A-43C9-86EE-5B223545831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953159312b7424abe16acfaed309cd34802f4340","datavalue":{"value":{"entity-type":"item","numeric-id":5262927,"id":"Q5262927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2418dff4ac0198cc5c5e8885fea53a24730339a","datavalue":{"value":{"amount":"+0.7519503235816956","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":"Q4012882$E687BD49-1C76-4C03-8D07-CC17CF15E38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d57aee4dc0926b14c7cd4eb20f942c2a7b85944","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90dc2db0a0095d393dec918969f86347468ae78","datavalue":{"value":{"amount":"+0.7426408529281616","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":"Q4012882$5114720B-6A8E-44D4-BF36-CB0E8BD4EA6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012882"}}}}}