{"entities":{"Q5884957":{"pageid":7914509,"ns":120,"title":"Item:Q5884957","lastrevid":55442089,"modified":"2026-02-17T16:28:28Z","type":"item","id":"Q5884957","labels":{"en":{"language":"en","value":"Robinson consistency in many-sorted hybrid first-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668108"}},"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":"Q5884957$93A6A9E5-1B1E-47AA-B463-F1C12CAC95AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884957$43E8B88C-86A5-400D-B770-A270C2EC0978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884957$82B7B8C3-0820-4BB3-9961-E69AD342627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884957$D1C7840C-0DE4-46BF-ACD2-0E7EE31D393D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884957$07261DB7-EC92-4DA1-8BD2-D67BD9621DAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc4d08a7b9c1327c7302a41e17b12992bf1a217f","datavalue":{"value":"https://arxiv.org/abs/2208.08708","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884957$3589E07E-CBBF-4F23-9B32-77B2B359662B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884957$9D74348B-C9E0-44E1-8CAB-DA154FF0CCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884957$2CC8F142-267A-4604-B49D-0FA32DBC3913","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5bd1224608c9f0a03adfbfdea136941962df5f6","datavalue":{"value":"7668108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884957$221DA25C-3BA3-4427-9591-AF3E63E91A9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884957$1EE0DA99-2389-4662-83FE-F9CB4CD7BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884957$F06D88CE-55A7-42EA-B347-518588C6367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a5439a100475f00aa9af0904c67bb02882336f6","datavalue":{"value":"Robinson consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884957$C4B72190-ED7F-4F0C-B333-C08CD9F888E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884957$E3C904C5-BD17-43B8-89CD-CF943A915291","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":"Q5884957$8CD113EC-FC07-4CD5-B8BC-8F1383143305","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260853fb27acb38c4b1de1b6f1c4e4a0bc70401c","datavalue":{"value":{"entity-type":"item","numeric-id":878156,"id":"Q878156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125ab6c3829d8f24907215e170a5dc2a7b6ffb88","datavalue":{"value":{"amount":"+0.8317798972129822","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":"Q5884957$15774A8B-F3FE-4470-B8A4-2A683D6B6AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cbb8867661bd9b972deef99da8a79a25f2d06f","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd68da639249ff815e00d7a94f5ccd10900697f","datavalue":{"value":{"amount":"+0.7294692993164062","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":"Q5884957$CB3DAAA2-9A1E-4C0D-8574-006F92CF96D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c4cf90f1109ffbd89ed81c0549b2aa2917178b","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9191ba7eb1a73d733eb19ddd95e8b55979d5f720","datavalue":{"value":{"amount":"+0.7171235680580139","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":"Q5884957$B284A8BA-2102-4305-9430-C91FB7A371BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b35cdd9a6cf84efb091eab12ce90747a561952a","datavalue":{"value":{"entity-type":"item","numeric-id":6053505,"id":"Q6053505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f655066a0210045214d93a101a4d1c20356034","datavalue":{"value":{"amount":"+0.713391125202179","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":"Q5884957$6B3D33FA-7CDB-4E13-81F6-A6543FFDC9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e9b1f7c13d34d8ee20637af16cccb2306ed42","datavalue":{"value":{"entity-type":"item","numeric-id":3160549,"id":"Q3160549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236837dfc78dbaa915e44d6c6d34e016d11e1492","datavalue":{"value":{"amount":"+0.7109463810920715","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":"Q5884957$05396EE2-0AC5-46FC-B1A4-466ED93FC7CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884957"}}}}}