{"entities":{"Q1791149":{"pageid":1801891,"ns":120,"title":"Item:Q1791149","lastrevid":72966327,"modified":"2026-04-14T09:04:32Z","type":"item","id":"Q1791149","labels":{"en":{"language":"en","value":"A Coq tactic for equality learning in linear arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946976"}},"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":"Q1791149$D8F49490-3E37-424D-B316-C6A00AFCD41C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a33b1ca71058446bd445027092b47b00a9ddd369","datavalue":{"value":{"text":"A Coq tactic for equality learning in linear arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791149$13D3C9ED-AD44-46F9-A006-ECE5EE6BDC84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa337aa022d9370aa9a0aa7fcfe4b51792aac634","datavalue":{"value":"10.1007/978-3-319-94821-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791149$52B57D8B-9BA3-431A-889D-52B668B2BC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed05294a56bc1267717451807768ae6e944f354","datavalue":{"value":{"entity-type":"item","numeric-id":1739910,"id":"Q1739910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791149$910441CA-C614-46FD-9F0E-E52A46AA5CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d925a0d664713074f517800742a96bc5e1515066","datavalue":{"value":{"entity-type":"item","numeric-id":1739911,"id":"Q1739911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791149$2A94D5F0-7FA7-492C-80AC-94DB70443F8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791149$76B3800C-93CD-4A38-B58F-80F22FB0BC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791149$8429C6A2-F2ED-448E-BBDE-1B0075F3CC2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac428f180a1bb39cd2188b3ea91b0fb8f15abf93","datavalue":{"value":"6946976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791149$1A9DB116-424F-48F2-8E0D-E790962675A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791149$188C8210-D1B9-4DE8-B241-1F59BB58FE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791149$099D1E67-CF1E-4787-8F6E-28300C5844B8","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":"Q1791149$6308E96D-7BC6-450B-98DA-9FCDCACCD237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3762cc2446af73ed8baab347ef2ed59244db0ec4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791149$72F47FFB-5E46-48CD-8563-3F760FCA0507","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60f7fa452787bff46fe004e1a9b3cc7ad973011f","datavalue":{"value":"W2614280056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791149$E34C507D-D736-4EA6-9829-7092A3CFF929","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e0aaf7c7af0870af5f5a6ecc58c92a50429dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3612435,"id":"Q3612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abd3fcd1bd7c3b194948e5859475da6727e805e","datavalue":{"value":{"amount":"+0.7418943047523499","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":"Q1791149$9E81FBAE-A01D-46BD-92A5-F16747E79F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca320f3d91c0d7a8bb4f611412474fdb2e1c5024","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a3ce289fc06316de425b3ae47df212ff47afd2","datavalue":{"value":{"amount":"+0.7246522307395935","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":"Q1791149$AA92A608-3860-4DCA-B9A7-9917E424F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b122fc17cf6c180e33e2295f43b455fdd3224f","datavalue":{"value":{"entity-type":"item","numeric-id":2219409,"id":"Q2219409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac72b75137be5e770bce7c97ef6ab22e18e3f55e","datavalue":{"value":{"amount":"+0.7177664041519165","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":"Q1791149$B7F44523-0E5C-47C5-AD2F-ADF5EB109E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da2d8bb240c114f0886df7c3e68f858256d058","datavalue":{"value":{"entity-type":"item","numeric-id":945055,"id":"Q945055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f2dcb3e478a4d46d659eab78f9c3cb4e6d9a8b","datavalue":{"value":{"amount":"+0.7163596153259277","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":"Q1791149$9ACD7839-06CB-4502-8E81-8E344A5F9D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d268335cb0310030c003f9a67cbb04ebc75e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d2376a812f1db5a9f2a0aaa7d27a15f4410e1c","datavalue":{"value":{"amount":"+0.7134275436401367","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":"Q1791149$98F31B25-11EE-4779-ABC7-2674F47A18C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coq tactic for equality learning in linear arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Coq_tactic_for_equality_learning_in_linear_arithmetic"}}}}}