{"entities":{"Q2254599":{"pageid":2265342,"ns":120,"title":"Item:Q2254599","lastrevid":57814998,"modified":"2026-04-02T15:51:57Z","type":"item","id":"Q2254599","labels":{"en":{"language":"en","value":"Unifying exact completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6398447"}},"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":"Q2254599$1CE6A420-C4E8-4B81-BBED-94A239EC77AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db58874d87826e3b48f714923c5bb1341d650ba3","datavalue":{"value":{"text":"Unifying exact completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254599$59C5DE88-4992-46B5-B732-A3A39B5B99B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"707cdb83be384ed77d320d02dc0701150d51560e","datavalue":{"value":"1386.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$E0C9BA43-6610-4A68-A15C-81E93201A942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$E8D9F61A-289C-4E2A-9AB3-2ADACD4FADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$064DC093-B584-456F-AF8B-6F92812F503B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$B5E753FE-C0B0-4E48-B7DA-35BB2681852F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f52875ecde12166df54674a46be9420b28825232","datavalue":{"value":{"time":"+2015-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254599$725868D0-FFA2-4CFE-B7D3-79F5161231AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1326fed152720b9d901ea11d551abeb3f419cfc","datavalue":{"value":"https://arxiv.org/abs/1212.0966","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254599$D14B86D7-B5A1-409E-8F62-E7E6328403F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$AE7A31E3-883C-409A-BED5-4031E6B34B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$AA113CF9-A6EC-4F60-B3BE-551C524688E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$5BFAC687-2BB0-410E-9983-D2B6713ECD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$7665A211-3004-4567-B35E-DFF6FF2E93DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7848ef1b5c7f6199ca21a4263affc58b17b295b4","datavalue":{"value":"6398447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$485396DD-90ED-4E94-BE78-605F2EF0B6D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e44db9f5d2d8550a4c3cd4ab7ec082a7834a67","datavalue":{"value":"exact category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254599$9611F965-0E17-46E1-B8D5-23922A29B71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617f67ac750787da69e50749094f64aca9bcfecd","datavalue":{"value":"elementary existential doctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254599$41810F10-07AB-4269-B37E-2ADECA0DE7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3363ab9a4708d11e9e6f4d17fe89356cb942e64","datavalue":{"value":"free construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254599$5F64E91E-6FF0-43EC-AEA7-2769A446E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75bdc75432e86a2c63274d60bc4eb52bb0ca25d","datavalue":{"value":"tripos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254599$82A5238B-F514-4FC9-8D81-C124A0E493D2","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":"Q2254599$4FD3C9C3-1D40-46F9-AA7A-942B03B81EB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e47105636f5ca4d8820354341f28a0c1184be03","datavalue":{"value":"W2166869969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$94CDDEDE-AC5C-4386-9577-4553B670882D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$5D24A839-962E-4805-8F67-6426B9AD233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aa05cbdf7e9c30715a43e649084cfac28e9645","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$C9EB96F7-3D22-489A-9ECF-E65124898C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f3c16daae37f2ee389e3136fd05ff3e6d2deeb","datavalue":{"value":{"entity-type":"item","numeric-id":3320378,"id":"Q3320378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$2FB4F944-96B9-40EA-B1B5-F35B699A8889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$4BBCAB9F-1511-4AEB-B2B4-56339DBCF47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$7281B6CC-AC0A-45E9-8C09-104279717469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$AFAE1D0C-574E-4043-8773-5B06EDCD6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$6ADE6D95-C0E6-4A8B-BD89-5D6F30ACCAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd51c3c41da2eaa6b1f56306d51915860a1708c3","datavalue":{"value":{"entity-type":"item","numeric-id":1098929,"id":"Q1098929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$52062B5B-04A2-4245-83B7-EEE84E0EFAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$B574E4B8-CDCE-479D-9A90-AB831D820A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403329ca140f0cb8ce96eda5d0ece8a485be22d3","datavalue":{"value":{"entity-type":"item","numeric-id":2842821,"id":"Q2842821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$0FA8D1F2-48CB-41F3-8AE0-ADA9EC89CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$8628A40B-25EA-4987-80C4-6DCA1DD11979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$5F6685B1-ECB3-423E-9974-FEF00B737FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ec61db16706834fc4f992bacb5d1aaa04b878a","datavalue":{"value":{"entity-type":"item","numeric-id":3978980,"id":"Q3978980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$3ACD1FC7-6F32-4897-8AC3-F7374AE02881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$8789001E-362C-419A-9BC2-D1E67E145037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$1EDE03B4-C9F3-468D-BDCC-65652AD68822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$E032063A-1035-447E-B680-695B04B6E60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879333b705ddee55c839f1d500c79a4b9b1e89","datavalue":{"value":{"entity-type":"item","numeric-id":4807625,"id":"Q4807625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$4516DC2E-C7F2-4C9C-BEBA-DCB68417ACD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$D7B831F3-8CDD-48C3-BB6B-618DDEC1BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae29434b408608cbdccc82a521cfc4aa06606d","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$CF701CFE-0A86-4547-A2B8-DE7D7F1F7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$6BB521D1-2A75-4B7B-9F52-6FE726C9B89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb83562c2d416412c17636480881d95b7979cd02","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$255CB0BF-E814-4509-80B0-5EB64FC9DE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$FF876143-4674-4092-9E0B-EB571414C4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a8c131962ba5c2ba23aae04b07a798d05b1e00","datavalue":{"value":{"entity-type":"item","numeric-id":2254598,"id":"Q2254598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$F70DE3FF-937A-4365-A77C-89DA942003F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9518dd7f95b2c4defe343ee2db5f10db3d13b99","datavalue":{"value":{"entity-type":"item","numeric-id":3146242,"id":"Q3146242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$EDB601A1-6FCF-491C-A86F-79A1EBEF1FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28f6b4ecd40ae8adb4975fc09a7854337a926df","datavalue":{"value":{"entity-type":"item","numeric-id":4128948,"id":"Q4128948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$C28BCFCD-FAB0-408A-875A-F999FE4C3F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254599$22BF8BA4-F77B-4038-AF65-57E267AB4051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"040f16c05eb1f6d05df9577fc7fc8565a8347f20","datavalue":{"value":"10.1007/S10485-013-9360-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254599$C1CA360B-5D5A-4745-B64B-1B0EFBCD2228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0820b97941418b5a231efef219a2d7117cadfcb0","datavalue":{"value":{"entity-type":"item","numeric-id":5129224,"id":"Q5129224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e2d49365de37bd09bcf296a2befcd1bbe15f0e","datavalue":{"value":{"amount":"+0.8525046706199646","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":"Q2254599$8F0C4559-57C7-4848-92B2-CB4297D23811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e58a67c776506dddb2988a71ac874fa4e1a8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511ccba6a902a0858cc86c5d7841d6f38563c60a","datavalue":{"value":{"amount":"+0.8282281756401062","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":"Q2254599$B409FAAF-D1A2-48F6-8798-1F6C00B43586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e825900ab9e30153c80753bc78aa6334b63c41","datavalue":{"value":{"entity-type":"item","numeric-id":2683780,"id":"Q2683780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57387fda098b60ecf63f64aa7ef42103aff23a35","datavalue":{"value":{"amount":"+0.8156664967536926","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":"Q2254599$FB5C3283-D2DA-4F2A-A09A-5464A2E2C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9b3aaf17c60324c679a543e87bdb6a8dcef7e0","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f2e367070f8844e3160ed833821686bd2f02f0","datavalue":{"value":{"amount":"+0.8125400543212891","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":"Q2254599$2A8EB977-FDDE-4C89-8C2E-DE7D4856806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c933d5156affaeae1944796e5574a2f9a69da3a","datavalue":{"value":{"entity-type":"item","numeric-id":2919780,"id":"Q2919780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f2e367070f8844e3160ed833821686bd2f02f0","datavalue":{"value":{"amount":"+0.8125400543212891","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":"Q2254599$EAB28836-14EA-4128-B51D-F25B1DCDA09D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254599"}}}}}