{"entities":{"Q5166498":{"pageid":7196070,"ns":120,"title":"Item:Q5166498","lastrevid":52026566,"modified":"2026-01-20T19:06:57Z","type":"item","id":"Q5166498","labels":{"en":{"language":"en","value":"A user interface for a mathematical system that allows ambiguous formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309204"}},"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":"Q5166498$838250C2-E8E9-4906-A4BA-46DDAF42704E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4786b3204af1699428c05b571808227c21c62911","datavalue":{"value":{"text":"A User Interface for a Mathematical System that Allows Ambiguous Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166498$95A93E2B-46B6-4F0F-BE18-43CF90641CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28bb0676dd391b8780c7e4539df08e083f42d0c4","datavalue":{"value":"1291.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166498$E4084336-754D-4BAF-B5DB-4FCDD41C6561","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$2720991C-E322-425D-B60D-034AEB75EAF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$51214AEB-BF9D-4DB8-946A-C32E79761D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-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":"Q5166498$C7FF50AD-9D6B-4B9E-AAAB-563879B56EDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166498$9D24D01F-B624-431C-9F98-2DDFFCE70710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac6e2cc3a26e0cdd383680f3eec5d33d9a4633fa","datavalue":{"value":"6309204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166498$C78B0CFA-D562-4D8A-94ED-E1718D805C4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec44778685040bd9bd5cbc0ffb12f352e97e79b2","datavalue":{"value":"overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166498$56A1F490-A34A-4DBC-8CC7-15E973D04844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dece2b67a16f221be015e3ceddb4de928543fdd9","datavalue":{"value":"ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166498$E2D5A7BB-C22D-4604-B48B-0BB0F1F0B4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd12981ba79112c8b0b36387f28037a89a463da","datavalue":{"value":"user interface","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166498$52C8FE94-7595-48ED-AE5B-857329CC1896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166498$421CA81A-F4C5-4AA4-8AA1-0756699517D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452c2bc219e831894ca1b2ba93a388f09b09e6e0","datavalue":{"value":"Matita","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166498$7B7FCCA4-47E1-4D22-B045-0BCCAFACE272","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$05724F8F-A357-49EC-BB9A-181079FCD1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$FFAFC8DA-4EF4-431E-9E6D-972225245B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$E17ADA9B-614F-4530-81FC-D1C302616E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$17CE728D-BE09-4DFB-99C1-AA5BB637C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f4a7d8a07c40281293b20fef0aadcbf0de2bbd2","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$BEB83389-BBC9-4687-88D2-75FB2FB6CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eebe30b9df25d8c347930b235e09f446ddc2fb1","datavalue":{"value":{"entity-type":"item","numeric-id":44157,"id":"Q44157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$1E4F983B-BC25-4F3D-82A5-2DF9F5213C21","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":"Q5166498$EF429FCC-2EAA-4FF3-BFF0-767B8D5AE365","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e75ecfdaf80bb5a4abe36aa12479d5f2da8d89","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166498$FD72A70F-312B-4F71-ADCF-583D83F1C1D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"183e50d96d5913341cbdf369e1daf08651cdef5f","datavalue":{"value":"W2087155614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166498$C335DC11-2D27-4632-8130-EF43BDD4BDD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a774592121362aea0b18362b2a1fe30f87c72aa","datavalue":{"value":{"entity-type":"item","numeric-id":1810904,"id":"Q1810904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$3F4FC37C-E545-41DA-8691-F24955DBD972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34babec465921f60dcf35356976f5e24742b5ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5898170,"id":"Q5898170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$3FDF53BD-58A1-436C-A071-40F76D39F90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8847fc96bd6cc15667c599e80d53cc2bce3050","datavalue":{"value":{"entity-type":"item","numeric-id":2462635,"id":"Q2462635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$96BCE66C-8534-4E9A-87CE-6FC8513DEBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$48BC112E-88E8-4509-89BC-5309882A8E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$420E67DA-6FC2-475C-840A-547DC5C7A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55113899cd4fac58a731fff06a3c13ca370d426","datavalue":{"value":{"entity-type":"item","numeric-id":5313073,"id":"Q5313073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$74279082-2FB6-4D87-BA41-4C128FD5A91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d63fa854928cf431481c72b5ad17afc61ccafb6","datavalue":{"value":{"entity-type":"item","numeric-id":5428286,"id":"Q5428286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$AFB62C03-9EA8-4D7A-96D2-E8B298FFC69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96dd678f7e77ab503651376673b231f824f268f","datavalue":{"value":{"entity-type":"item","numeric-id":841693,"id":"Q841693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$391522A5-B051-4EBD-A426-9FE9CAC0AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166498$169A1EA2-124B-4A2E-9D0C-C5A418A3F94D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6918faea1831e895879f6100c13ef4bb4e8e9839","datavalue":{"value":"10.1016/J.ENTCS.2008.12.098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166498$00DB598F-A872-4813-A8D2-0382DA960168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeae4022b9804df5d5758cc36b5d5d7c9e511c91","datavalue":{"value":{"entity-type":"item","numeric-id":5313073,"id":"Q5313073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ffd916a4f47a2265c9a5686cdbba3e32c60328","datavalue":{"value":{"amount":"+0.7909495830535889","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":"Q5166498$6717E6F7-57AF-40FF-B356-E0DEBC794E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d220160b86700d7e5ea092442f22172fea0ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4916064,"id":"Q4916064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c304f8c6937c84fb5050813c5ac2df7ba3648c7c","datavalue":{"value":{"amount":"+0.7363296747207642","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":"Q5166498$D771908F-0163-479E-BCEA-0DB15893B065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb566f73cd0d140431eb59bad6c946ef94eed5c","datavalue":{"value":{"entity-type":"item","numeric-id":5495945,"id":"Q5495945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df4fbc412e0418868e3e2ad26ec9064ae742828","datavalue":{"value":{"amount":"+0.7265037894248962","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":"Q5166498$556E27AA-6F4D-4A0D-8721-90DAEBA41E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae194caf9448ff0c89f584d753cdc604b874b19","datavalue":{"value":{"entity-type":"item","numeric-id":5756753,"id":"Q5756753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16de791ab06d7e5c6b07a28274fcd9a13b0c36c3","datavalue":{"value":{"amount":"+0.7208752036094666","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":"Q5166498$096F52B5-3A30-4B1C-8C0A-24B20664213F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d78701cebbb424b405385d8dd1ca26f550e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":4026775,"id":"Q4026775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f691a73424194d38df6c5e0952002850790672d","datavalue":{"value":{"amount":"+0.7149571776390076","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":"Q5166498$205DD059-D76C-4EA0-BFB1-1274F9963B74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166498"}}}}}