{"entities":{"Q2892745":{"pageid":2903470,"ns":120,"title":"Item:Q2892745","lastrevid":84886664,"modified":"2026-06-03T05:02:08Z","type":"item","id":"Q2892745","labels":{"en":{"language":"en","value":"Expansion for universal quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049278"}},"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":"Q2892745$EEFB97E7-B82C-42EA-AEF1-3A66DBCF72E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18beeba58d30bd00510a51d563195d6f09c4b73d","datavalue":{"value":{"text":"Expansion for Universal Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892745$D278DF01-D2EB-41A5-89A9-DA108C4ED0B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db3d8c5b8e214513fc57e8ca2d85e4e3f2eeb19c","datavalue":{"value":"1352.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892745$520DFA34-E81E-4D0B-B4D4-FDCB933D7F31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"165773bb4bf3b63e3cf8feaa43c516233c5abc9a","datavalue":{"value":"10.1007/978-3-642-28869-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892745$3F584F41-8D1E-43DC-AFE6-12098DFA4616","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892745$6DE7700A-B0DF-4393-A68A-E61C0F411BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892745$C047B890-3BC5-4FD4-98FA-BC29ABAD6EA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892745$EE31B8F1-4D83-40FF-ABE9-3DD854654F19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892745$4FC3687C-8662-4704-AB6A-87B3D432B7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df9706b069b5acccafb0f6a32f6971124adb673e","datavalue":{"value":"https://arxiv.org/abs/1201.1101","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892745$F059E5D4-7D7A-46FE-BC46-3EC985812288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892745$AD0DAF20-608F-46EF-B27A-F905D66676AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"202bfa5e1cac87d542cedadb2beb5bef7f028a8e","datavalue":{"value":"6049278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892745$56436276-3AAF-4ECE-B426-850760DCFA9B","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":"Q2892745$6C429834-D57B-4B9C-95F0-34CA5A1280F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a7d202be8d5bbdb9e8b81362ab22efb14ac7ab8","datavalue":{"value":"W2151813921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892745$8E43C9B3-49C9-4BEE-9ED7-9CCC742D7F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352ebd878bb922dd4f37b7f24b551b180f9c13f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851092,"id":"Q2851092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016671a8d75b7e24cea04a8032c0091428fdf562","datavalue":{"value":{"amount":"+0.8635740876197815","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":"Q2892745$7AEB7021-A6E0-460B-BC39-AD6CD3C2724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343efb3c93a1d0726dc89e08a5875cfa708ff09e","datavalue":{"value":{"entity-type":"item","numeric-id":4903714,"id":"Q4903714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81782048c5dd65823877fe7d8b52314c6e77291b","datavalue":{"value":{"amount":"+0.8361749649047852","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":"Q2892745$82D18BE1-508C-4D11-83B0-A61727E914AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21353a78c24d20becae17ce281191d3a8a723e7","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec1d4f8f0f7c4c9df19fdd38a63f594a4dfedfd","datavalue":{"value":{"amount":"+0.7842317819595337","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":"Q2892745$5429C244-58F2-40B2-839C-5934E0B37EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0883e379d10d28de7592d639b18e0f3696c856","datavalue":{"value":{"entity-type":"item","numeric-id":4236762,"id":"Q4236762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b0f798436ac8aefba3a4d587f40e8e64508a24","datavalue":{"value":{"amount":"+0.7744007706642151","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":"Q2892745$AC0D000A-1B95-42CA-993F-9E5EF4958136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241fa85fab1fbb8731063dc0d36ef24d03c1f1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5308705,"id":"Q5308705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092c9944d5ce5953efcfaccfd76c1c9dd8993814","datavalue":{"value":{"amount":"+0.7696501016616821","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":"Q2892745$D560EB82-0B2B-45CC-9E51-63F8EC407F7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expansion for universal quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expansion_for_universal_quantifiers"}}}}}