{"entities":{"Q5875680":{"pageid":7905231,"ns":120,"title":"Item:Q5875680","lastrevid":39654259,"modified":"2024-12-30T16:43:10Z","type":"item","id":"Q5875680","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650340"}},"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":"Q5875680$A34823F2-FA81-47C1-8818-1C3093BE4603","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af592fa3d4afdd5f53e11cdba8544f5acfd47ec","datavalue":{"value":{"entity-type":"item","numeric-id":5875679,"id":"Q5875679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875680$E9587B01-23D2-4252-99D4-B0A83E3DA919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875680$6439A1CD-9227-438D-92C6-C98743564478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875680$AB023089-DC55-4A7E-B788-1D3CC659BBB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875680$7D530B1C-32A9-4DF7-BD80-76DF1DA5AD6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875680$1A29D544-38A0-4760-B285-B686D2157F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875680$1D1EBA48-0635-439C-9E8E-52E5E5831195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c0ed9fdc442e5f6dfc1bc5258f280e55168dac","datavalue":{"value":"7650340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875680$FE20F14D-F560-4904-A8A9-8723483711E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc07e0448f608361bb8ca00f7215465a4a01c17","datavalue":{"value":"Horn constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875680$B5BD108E-7CC7-4E20-AC63-2640C8372F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875680$06355713-E797-4346-8DED-77BE4A5498A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edadeef8bb2338ff3a07e14bdbe112375679df2","datavalue":{"value":"proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875680$E222514B-3D55-4E6A-B003-F21A58A94FE6","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":"Q5875680$6E410F1E-B762-43BA-BFCD-888B8B5DA076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f0fa11aeba344a171b55469751b4fcc862c4938","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875680$5DC14997-9A34-4C4F-B722-6D0A2C68968D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875680"}}}}}