{"entities":{"Q5458404":{"pageid":7487963,"ns":120,"title":"Item:Q5458404","lastrevid":50334029,"modified":"2026-01-13T20:28:32Z","type":"item","id":"Q5458404","labels":{"en":{"language":"en","value":"Inferring Channel Buffer Bounds Via Linear Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262450"}},"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":"Q5458404$8647971C-0D8C-4ACC-98D5-7A4D25877D7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b75711b3ef98ff22a6060f2a519660d8dd4ea8e","datavalue":{"value":{"text":"Inferring Channel Buffer Bounds Via Linear Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458404$D03E4B53-89D8-4EE4-94C3-948E94E323D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6dfae61f4652ed83236bd6cbdcb22117447282e","datavalue":{"value":"1133.68387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$7012CA8C-C026-413D-A2B8-A8D45A5484B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45b49db0c1a68c8604851a99a90fbd08707af472","datavalue":{"value":"10.1007/978-3-540-78739-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$86B83A1C-F745-4E30-A5FA-41EB3D086E5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458404$6703F244-3098-4BEB-AE4A-F25814FDBE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"243a506341fede7ed684d6fd49e94e0a1977a0af","datavalue":{"value":{"entity-type":"item","numeric-id":5458403,"id":"Q5458403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458404$6FAA2B40-BB33-4ECC-BB27-B889E9C0BD5D","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":"Q5458404$87F09BD3-D8CE-4A9A-902A-B58C250D99B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458404$4EAEE7A4-74FB-4E65-90A4-B02E5CFBABDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$1699D8D1-C01B-467E-9CA6-6546AFD34960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$AC8169C8-ECFE-4D91-A258-9537A3FBA087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b46e51088033dfb9f4b13e2665ac5090bc1030","datavalue":{"value":"5262450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$2E33B289-5849-4611-9A4B-969427FF14C9","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":"Q5458404$8E4FC07D-CAF0-4BDB-8350-A05F6CA54C1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b21e1a14c298a33a5bd1aacd9d89afa9a0f70d2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458404$066D305F-620D-40B4-B524-87E81147F4A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"942f7ed8cb80e7d279243bcdc6e90661a7fecf71","datavalue":{"value":"W1736097396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458404$201BAC1C-104A-4744-BD5F-03DE8B1F8337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b975182a57e3b826f06b57938a65f1ec0ce2f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4963918,"id":"Q4963918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045d8fc34fe13484810145212ee0473492bbe3e5","datavalue":{"value":{"amount":"+0.7241536378860474","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":"Q5458404$CDBE120A-D1C7-4986-A885-529613CD9722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5144645ab21fd8c810b17c7aedb26b47e33655","datavalue":{"value":{"entity-type":"item","numeric-id":6041176,"id":"Q6041176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99224eb17cd5d84bf1e42a7dbfae6e1cb9a0cc9c","datavalue":{"value":{"amount":"+0.70231693983078","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":"Q5458404$5A5CF8EF-A987-47E6-B1A7-D4D60018AE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f727f59490aae8b7949547e6b5ec8b32fc00ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584941,"id":"Q3584941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645fffb20534ff1f4bb3077bf2e0b4fc0c177872","datavalue":{"value":{"amount":"+0.6993994116783142","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":"Q5458404$DB64F25B-0433-4824-8D8E-FBCD1ABF41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9724616ddcfd461cfe078391b9d84530184cad","datavalue":{"value":{"entity-type":"item","numeric-id":6116579,"id":"Q6116579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4258f2d5f90bec8bd4376a7e8ad6f4f8c27b2804","datavalue":{"value":{"amount":"+0.6929473876953125","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":"Q5458404$F9888539-5487-4982-B8EA-5E34CD87973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9ef27261970925cde52c3d5423c0de11a14718","datavalue":{"value":{"entity-type":"item","numeric-id":2894290,"id":"Q2894290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f793014bb055d1fb738fd8668cc509d71d6bde","datavalue":{"value":{"amount":"+0.6914095878601074","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":"Q5458404$158767FD-9C7A-47D3-AF63-C8F525FC2547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458404"}}}}}