{"entities":{"Q3586049":{"pageid":5615953,"ns":120,"title":"Item:Q3586049","lastrevid":49622650,"modified":"2026-01-08T11:12:25Z","type":"item","id":"Q3586049","labels":{"en":{"language":"en","value":"Second-Order Equational Logic (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779255"}},"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":"Q3586049$52972F88-BF80-4AA7-B3FB-3C16F16C3C1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"309039c01639d64969162b5181017e73ac928cc7","datavalue":{"value":{"text":"Second-Order Equational Logic (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586049$C20F212E-BA26-463F-BA20-93163D36E4B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3d6130567b063db232e9044ef6864f9e40cd61d","datavalue":{"value":"1287.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$5913C110-807A-4BB7-BC25-4B7D40A17DBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52ba49c76aac23c65f0c6de496afcb71979d056","datavalue":{"value":"10.1007/978-3-642-15205-4_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$3D95B6E7-E965-4334-BFEF-129C808801AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586049$4EB08AD9-2066-4172-9068-7E986A7D995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586049$AF3BA3F6-390F-4685-BB73-F4D196E57A23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586049$91AC439D-21BC-4CD5-9375-11E00D2C87D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586049$CFD16FF3-64BD-4EB9-9922-657D21492793","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$A00C6756-7603-454D-81EA-1BE3F2CD765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$E086B92D-FDD1-4047-A896-74404AF36185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$4A303100-4B91-4809-85DB-C9CE0A384C5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd2a6dd63d9509c0b60f50cb40d42b05c87f560a","datavalue":{"value":"5779255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$578D4328-2025-4BD1-9269-E412C2ACA531","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":"Q3586049$170501A1-7E68-4CDF-B358-11A5DF612BF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10eca78706b0a1bc8b0fef5706e14f7db355d665","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586049$B7AA048F-3137-44DE-8CE2-84AE3EB99BE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a60c007e151ed14cc4c5007d421483d570ab62d","datavalue":{"value":"W1567516333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586049$60DB7BB4-BB3A-4A72-97EE-90092D086CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf8fda8c6313c06df19da93c145a4e5eb7b83ae","datavalue":{"value":{"entity-type":"item","numeric-id":5757935,"id":"Q5757935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89a77562e96340a3278fa662ca08abe2d310275","datavalue":{"value":{"amount":"+0.9142189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$E528AD66-7A4C-44CF-83B9-58269D949BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d664edec390a3ead36486b1627178855cad7cca","datavalue":{"value":{"entity-type":"item","numeric-id":3643314,"id":"Q3643314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2519a2325b4a764bd4f1d41e3f342e7f6806488c","datavalue":{"value":{"amount":"+0.913616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$BBABA6E8-74E9-41F5-904D-2A0C6A5A6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7de76325e8ee7d438443eff10240d360d3168f1","datavalue":{"value":{"entity-type":"item","numeric-id":2345400,"id":"Q2345400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f220a0faa7b85ccdf996f49623abef9b826b71","datavalue":{"value":{"amount":"+0.91062343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$B689C46B-047D-4FE5-AF12-E69FC9AB7EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfb431eb69d4a693f45b37074355ea82eb0c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6ff3cecff7691e19917e4e70da22168ecbcba6","datavalue":{"value":{"amount":"+0.9094548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$625C7D87-E9A0-4C3E-968D-D9CAE100AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272fc7fb52d78b66eda99739ce924f6ed912bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4915214,"id":"Q4915214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfee88af4f79725167d6df0a2becc45a94c4e24","datavalue":{"value":{"amount":"+0.9083901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$C5F1ACE8-3DA2-4E44-9664-3599777CA403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab3de1e2f31deaa6c35b6e7aae26e544d9ca83","datavalue":{"value":{"entity-type":"item","numeric-id":3784072,"id":"Q3784072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f35b4e9c51b757bb4a1b7c204639586dbce829","datavalue":{"value":{"amount":"+0.90502816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$BE430CB2-A145-4A66-BAB3-41FD54190AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852437091c69619bec667ff5df18132d9ecdb1cc","datavalue":{"value":{"entity-type":"item","numeric-id":5307062,"id":"Q5307062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b00c93e09fc61cbd0896cd5a57a9d18bb9a9ad","datavalue":{"value":{"amount":"+0.9038905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$5CF33C1C-C1E5-46B9-AF7C-D35795F09E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6479083c3a9fa4c0241ba0f47f848bad11418f","datavalue":{"value":{"entity-type":"item","numeric-id":2856633,"id":"Q2856633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47d447113ab188a180f6adf157d970807f1f48f","datavalue":{"value":{"amount":"+0.90335464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$E00D3A1C-D50A-41AA-8964-D8FEED3B168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad5f465c9452e6c082b6c88c9950ed2ebcb4e4d","datavalue":{"value":{"entity-type":"item","numeric-id":3439520,"id":"Q3439520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df57b456265c6dad05d51a3a56247cb92bca219f","datavalue":{"value":{"amount":"+0.9026439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$78EDECD8-EBDC-4DD5-91F9-F1C8A4733462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5742a1f9930d7ab08213e7657d114316d0365e96","datavalue":{"value":{"amount":"+0.902359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586049$F4A1A632-B198-4131-B03E-75EDC2E0AFA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586049"}}}}}