{"entities":{"Q3792277":{"pageid":5822183,"ns":120,"title":"Item:Q3792277","lastrevid":52952207,"modified":"2026-01-23T21:36:02Z","type":"item","id":"Q3792277","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057057"}},"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":"Q3792277$AD9F44B5-7FD8-4DA0-AA9C-8834445C0784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c70f8cf94582a8a042b4139d9058fef0e76eb63","datavalue":{"value":"0647.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792277$60AF2F8C-13E4-445C-932E-79AF23FFDA38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d041e9ce816c57d2d4861decc42e91ef2d75cf87","datavalue":{"value":{"entity-type":"item","numeric-id":209326,"id":"Q209326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3792277$B922D1B8-A4A4-4896-A0F7-62C3ED783D52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3792277$2427610C-5B78-4651-9987-530DE8AD7F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792277$CB177834-0D9C-406C-A175-03D07388A069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792277$407CCFB1-54CF-4763-A982-03331377D1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d7d334df06f4d6f17c0d1ff4898b360a6e34821","datavalue":{"value":"4057057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3792277$5DF2D80E-9A28-4134-9718-4BE1A9F5354F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0c7481e3c5c308fc47ea6e648bd33e7ea295f7","datavalue":{"value":"searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$B03DC621-50CB-4699-8867-60FA69D55509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b34c90f2364267d698ba1899ad8a3c3f5f72d8","datavalue":{"value":"retrieval","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$E343E50E-D324-4151-9945-915720A399B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781db5f810100b1c75183665ffe0c10b181c915","datavalue":{"value":"relational databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$8018A2F4-4D0D-491A-A058-26CD5B3FA378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e8e349d61118ee118ac0469d6daff1c84dcc96","datavalue":{"value":"many-sorted first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$2DF77CAC-A8B1-4EAD-B57A-42FED53A4F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f2a1eec53d9dd237002bbb4c3b26a90341b8617","datavalue":{"value":"semantics for trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$FB81DB47-0338-4E07-A090-54F519B0F071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3792277$4C0C81E8-5B30-4FF1-8213-7851369EB57C","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":"Q3792277$06068488-5890-436A-8815-10FC3A47336C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b65880711d5b52021157819fdd8a8a549164c2","datavalue":{"value":{"entity-type":"item","numeric-id":3802596,"id":"Q3802596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6154ebd08b6fd86792cc31e8d1444e2f97edce9","datavalue":{"value":{"amount":"+0.947195529937744","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":"Q3792277$2FCF3A9C-51F2-4ED5-BAC7-ABEB39FC3332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a73a7b84b1bbb5063df1de31a62c344931a9f","datavalue":{"value":{"entity-type":"item","numeric-id":3323315,"id":"Q3323315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70896297b45e63a1a66f3be004984eeda8a7ee84","datavalue":{"value":{"amount":"+0.7785849571228027","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":"Q3792277$68CD27AE-B40A-4476-BBEA-86D9B7DE57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14260f5501fbb89672b2dc685124f2db3c2f364d","datavalue":{"value":{"entity-type":"item","numeric-id":802319,"id":"Q802319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a33d2c7315a37dc9cc44eebd70c133f2896744","datavalue":{"value":{"amount":"+0.7691615223884583","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":"Q3792277$24B3E9EB-FEEF-417D-A56D-38C786E7F1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c456b809d0bca6ae233b4bed0d93fd434e02747","datavalue":{"value":{"entity-type":"item","numeric-id":3327750,"id":"Q3327750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771507e05ff9112967302b7678e96d33bb505b9d","datavalue":{"value":{"amount":"+0.744595468044281","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":"Q3792277$0C41CCD0-240E-4F3B-BA2E-200E60C2129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f128acc0f81fcabec2161ed7d3c2c8bf9e1a813b","datavalue":{"value":{"entity-type":"item","numeric-id":3683515,"id":"Q3683515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae45e134c2c949845a91b39864f4cc5d6be6ae5","datavalue":{"value":{"amount":"+0.7340402007102966","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":"Q3792277$CBA1B5C9-1969-4608-9EDD-94F1AA091C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3792277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3792277"}}}}}